diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/perl/mptopdf.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/context/perl/mptopdf.pl b/scripts/context/perl/mptopdf.pl index 2ab90be06..fc1be6a84 100644 --- a/scripts/context/perl/mptopdf.pl +++ b/scripts/context/perl/mptopdf.pl @@ -104,7 +104,8 @@ foreach my $file (@files) { $command = "pdfetex -fmt=mptopdf -progname=context" } if ($dosish) { $command = "$command \\relax $file" } - else #~ print $command ; + else + { $command = "$command \\\\relax $file" } system($command) ; rename ("$_.pdf", "$_-$1.pdf") ; if (-e "$_.pdf") { CopyFile ("$_.pdf", "$_-$1.pdf") } |