diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index f1cb3d97f4f..7514baa0d24 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -2215,7 +2215,7 @@ $standardclean = '\.head|\.tmp|\.dvi|\.log|\.out|\.aux|\.toc|\.lof|\.lot' 'stubs' => 'stubs.pdf', # no source 'susy' => 'susy.pdf', # no source 'swimgraf' => 'swimgraf.pdf', # no source - 'tcolorbox' => 'tcolorbox(-german)?.pdf', # no source + 'tcolorbox' => 'tcolorbox-german.pdf', # no source 'toptesi' => 'logo.*', # legalities unknown 'tree-dvips' => 'avm.*', # author no response 'xskak' => 'xskak.pdf', # no source |