summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/ctan2tds
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/ctan2tds')
-rwxr-xr-xMaster/tlpkg/bin/ctan2tds1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds
index e5680963ff1..f0f60e4ccef 100755
--- a/Master/tlpkg/bin/ctan2tds
+++ b/Master/tlpkg/bin/ctan2tds
@@ -729,6 +729,7 @@ $standardins='\.ins';
$standardinsrunner="latex -interaction=nonstopmode";
%specialins_postdelete = (
+ 'comprehensive', 'symbols-letter.pdf', # a4 is enough
'dateiliste', 'dateiliste.README*', # already in dist
'ednotes', 'perpage.sty', # copy from bigfoot
'gfsartemisia', 'A*Specimen.pdf', # nonfree