diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/perl/mptopdf.pl | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/context/perl/mptopdf.pl b/scripts/context/perl/mptopdf.pl index d653029a6..5fe53c98f 100644 --- a/scripts/context/perl/mptopdf.pl +++ b/scripts/context/perl/mptopdf.pl @@ -3,6 +3,12 @@ eval '(exit $?0)' && eval 'exec perl -S $0 ${1+"$@"}' && eval 'exec perl -S $0 $ # MikTeX users can set environment variable TEXSYSTEM to "miktex". +# There have been suggestions to patch this script for dealing with different +# output templates (a relative new metapost feature) but these have given +# unwanted side effects. One can always wrap this script in another script +# to deal with whatever patterns needed. We won't touch what has worked for +# ages. (December 2019) + #D \module #D [ file=mptopdf.pl, #D version=2010.05.28, % 2000.05.29 @@ -120,7 +126,7 @@ if (($pattern eq '')||($Help)) { foreach my $file (@files) { $_ = $file ; - if (s/\.(\d+|mps|ps)$// && -e $file) { + if (s/\.(\d+|mps)$// && -e $file) { if ($miktex) { $command = "pdftex -undump=mptopdf" ; } else { |