summaryrefslogtreecommitdiff
path: root/Build/cdbuild/ctan2tds.pl
diff options
context:
space:
mode:
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-xBuild/cdbuild/ctan2tds.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl
index aec6fb21d8c..2e4df2a7fe7 100755
--- a/Build/cdbuild/ctan2tds.pl
+++ b/Build/cdbuild/ctan2tds.pl
@@ -326,6 +326,7 @@ chdir $startdir || die "chdir($startdir) failed: $!";
'titlepage-uni-dortmund', "warn \"needs graphics (too short names) in .\n\"",
'tpcmfont', "warn \"skipping tpcmfont\n\"",
'tools', "&MAKEcopy", # we use latex-tds/tools.zip
+ 'turnstile', "&MAKEflatten",
'txfonts', "&MAKEflatten",
'ucs', "&MAKEucs",
'ukrhyph', "&MAKEukrhyph",
@@ -679,6 +680,7 @@ $standarddocfmt='latex';
'stmaryrd', 'stmaryrd.dtx',
'thesis', 'install.01|install.ndx',
'toptesi', 'NULL',
+ 'turnstile', 'turnstile-en.ins', # skip pt
);
$standardins='\.ins';