diff options
Diffstat (limited to 'Build/cdbuild')
-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 63a1978f951..69e867f7308 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -90,6 +90,8 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'cb', "&MAKEflatten", 'cbcoptic', "&MAKEcbcoptic", 'changebar', "&MAKEchangebar", + 'chessboard', "print \"Skipping chessboard since no source for doc\n\"", + 'chessfss', "print \"Skipping chessfss since no source for doc\n\"", 'circuit_macros', "print \"Not installing circuit_macros as it is m4\n\"", 'cjhebrew', "&MAKEflatten", 'classicthesis', "print \"Skipping classicthesis as it is postcardware\n\"", |