2016-10-07 12:11:04 +00:00
|
|
|
diff --git a/lib/dvipdf b/lib/dvipdf
|
2020-04-06 09:42:53 +00:00
|
|
|
index 13e1985..078292b 100755
|
2016-10-07 12:11:04 +00:00
|
|
|
--- a/lib/dvipdf
|
|
|
|
+++ b/lib/dvipdf
|
|
|
|
@@ -43,4 +43,4 @@ fi
|
2009-02-04 13:11:11 +00:00
|
|
|
|
|
|
|
# We have to include the options twice because -I only takes effect if it
|
|
|
|
# appears before other options.
|
2020-04-06 09:42:53 +00:00
|
|
|
-exec dvips -Ppdf $DVIPSOPTIONS -q -f "$infile" | $GS_EXECUTABLE $OPTIONS -q -P- -dSAFER -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sstdout=%stderr -sOutputFile="$outfile" $OPTIONS -
|
2020-03-12 13:35:34 +00:00
|
|
|
+exec dvips -R -Ppdf $DVIPSOPTIONS -q -f "$infile" | $GS_EXECUTABLE $OPTIONS -q -P- -dSAFER -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sstdout=%stderr -sOutputFile="$outfile" $OPTIONS -
|