diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 92ec0bd335c..ece531c5fc7 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -88,7 +88,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'barr', "&MAKEbarr", 'bbm', "&MAKEbbm", 'beamer', "&MAKEbeamer", - 'beebe', "print MAKEbeebe needs work'", + 'beebe', "print 'MAKEbeebe needs work'; exit 1", 'bengali', '&MAKEflatten', 'bera', "&MAKEunzipandflatten", 'bookhands', "&MAKEwilson", @@ -1714,9 +1714,9 @@ sub MAKEpgf &MAKEcopy ("$DEST/tex"); chdir ("$DEST/tex") || die "chdir($DEST/tex) failed: $!"; - print "\t SPECIAL move tex/doc/pgf to doc/generic/pgf\n"; + print "\t SPECIAL move tex/doc/generic/pgf to doc/generic/pgf\n"; &SYSTEM ("mkdir -p $DEST/doc/generic"); - &SYSTEM ("$MV doc/pgf $DEST/doc/generic/pgf"); + &SYSTEM ("$MV doc/generic/pgf $DEST/doc/generic/pgf"); } |