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 7b9871f880e..c5b1d06f46c 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -178,6 +178,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'mfpic', "&MAKEflatten", 'mh', "&MAKEflatten", 'misc', "&MAKEmisc", + 'mkbangtex', "print \"no copyright (and python script)\n\"", 'montex', "&MAKEflatten", 'movie15', "&MAKEflatten", 'mpattern', "&MAKEmpattern", @@ -250,6 +251,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'thuthesis', "print \"Chinese, may as well skip\n\"", 'ticket', "&MAKEflatten", 'tipa', "&MAKEtipa", + 'titlepage-uni-dortmund', "print \"needs graphics (too short names) in .\n\"", 'tpcmfont', "print \"Not installing tpcmfont\n\"", 'tugboat', "&MAKEtugboat", # both plain and latex 'txfonts', "&MAKEflatten", |