diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 2 |
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'; |