diff options
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 2 | ||||
-rwxr-xr-x | Build/tools/tpm-ctan-check | 2 |
2 files changed, 3 insertions, 1 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'; diff --git a/Build/tools/tpm-ctan-check b/Build/tools/tpm-ctan-check index 6dbb3df5aa3..90f3dafd819 100755 --- a/Build/tools/tpm-ctan-check +++ b/Build/tools/tpm-ctan-check @@ -139,7 +139,7 @@ my @WorkingTPM = qw( thumb thumbpdf ticket titlefoot titlesec titling tocbibind tocloft todo tokenizer toolbox tools toptesi totpages tracking trajan trfsigns trivfloat - trsym tugboat tugboat-plain twoup Type1fonts + trsym tugboat tugboat-plain turnstile twoup Type1fonts typedref typogrid ucthesis uhrzeit uiucthesis ulsy umich-thesis uml umlaute umthesis underlin undertilde units unitsdef unroman |