11 lines
711 B
Diff
11 lines
711 B
Diff
diff -urNB asymptote-2.70-orig/patches/dvipdf asymptote-2.70/patches/dvipdf
|
|
--- asymptote-2.70-orig/patches/dvipdf 2021-06-16 09:46:49.248321403 +0200
|
|
+++ asymptote-2.70/patches/dvipdf 2021-06-16 10:22:29.276677871 +0200
|
|
@@ -50,5 +50,5 @@
|
|
|
|
# We have to include the options twice because -I only takes effect if it
|
|
# appears before other options.
|
|
-exec dvips $DVIPSOPTIONS -q -f "$infile" | $GS_EXECUTABLE $OPTIONS -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sstdout=%stderr -sOutputFile="$outfile" $OPTIONS -c .setpdfwrite -
|
|
+exec dvips $DVIPSOPTIONS -q -f "$infile" | $GS_EXECUTABLE $OPTIONS -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sstdout=%stderr -sOutputFile="$outfile" $OPTIONS -c 3000000 setvmthreshold -
|
|
|