diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 96b313171a8..efa9448dba6 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -2375,6 +2375,7 @@ $standardclean = '\.head|\.tmp|\.dvi|\.log|\.out|\.aux|\.toc|\.lof|\.lot' 'tcolorbox' => 'tcolorbox-german.pdf', # no source 'toptesi' => 'logo.*', # legalities unknown 'tree-dvips' => 'avm.*', # author no response + 'uspatent' => '.*Guide.pdf', # no source, spaces 'xskak' => 'xskak.pdf', # no source 'yannisgr' => '^(digits|gen_acc)\.mf' # levy dup ); |