diff options
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 42820313f91..da6b1e1ea6f 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -2217,6 +2217,10 @@ sub MAKEwilson { my $docdir = "$DEST/doc/$whichdocformat/$package"; chdir ($docdir) || die "chdir($docdir) failed: $!"; + my $mapdir = "$DEST/fonts/map/dvips/$package"; + -d $mapdir || &SYSTEM ("mkdir -p $mapdir"); + &SYSTEM ("$MV *.map $mapdir"); # archaicprw.map + opendir(DIR,'.') || die "opendir(.) failed: $!"; @dirnames =grep(!/^\.\.?$/,readdir(DIR)); closedir(DIR); |