diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2021-06-08 12:47:40 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-06-08 15:43:08 +0200 |
| commit | 5900f155a4a0da88cfd56bedccef0c74cc19c9f7 (patch) | |
| tree | 80312123e3a61a1315d549f2e692391631183eed /doc/doc.html2ps | |
| parent | 0baeb5209d3a111a53070c032d7cdb1e609e3516 (diff) | |
Get rid of special *{} wildcard target type notation in target type/patterns
Explicit target{} should be used instead. Also, in this context, absent target
type is now treated as file{} rather than target{}, for consistency with all
other cases.
Diffstat (limited to 'doc/doc.html2ps')
0 files changed, 0 insertions, 0 deletions