diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
| -rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index e2f348304aa..ccaed844505 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -1219,14 +1219,16 @@ sub set_dir_defaults my $changed = 1; if ($ctan_dir =~ m!/graphics/metapost/!) { - $standardfmt = $standarddocfmt = $standardsourcefmt = "metapost"; + $standarddocfmt = $standardsourcefmt = "metapost"; } elsif ($ctan_dir =~ m!/fonts/!) { - $standardfmt = $standarddocfmt = $standardsourcefmt = "fonts"; + $standarddocfmt = $standardsourcefmt = "fonts"; + # leave standardfmt as latex, though, since we don't want + # texmf-dist/tex/fonts/ ... } else { $changed = 0; } - print "\t guessed $standardfmt for fmt/docfmt/srcfmt (based on $ctan_dir)\n" + print "\t guessed $standarddocfmt for docfmt/srcfmt (based on $ctan_dir)\n" if $changed; } |