diff options
| author | Hans Hagen <pragma@wxs.nl> | 2019-12-17 17:22:50 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-12-17 17:22:50 +0100 |
| commit | d1f4da02201fd33c139ee1756296e8df53580ff7 (patch) | |
| tree | d24fad194af62020481cac8d2041913a36789e8a /scripts/context/perl | |
| parent | 37cca59f16fc3ab5bf3ce19fd94161d1c2f6ffdc (diff) | |
| download | context-d1f4da02201fd33c139ee1756296e8df53580ff7.tar.gz | |
2019-12-17 16:25:00
Diffstat (limited to 'scripts/context/perl')
| -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 { |