diff options
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/pspdf.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/pspdf.pl b/doc/pspdf.pl index 6d59142a..454c031c 100755 --- a/doc/pspdf.pl +++ b/doc/pspdf.pl @@ -19,7 +19,9 @@ my $r = system('acrodist', '-n', '-q', '--nosecurity', '-o', $out, $in); exit 0 if ( !$r && -f $out ); # 2. ps2pdf (from Ghostscript) -my $r = system('ps2pdf', $in, $out); +my $r = system('ps2pdf', '-dOptimize=true', '-dEmbedAllFonts=true', + '-dUseFlateCompression=true', + $in, $out); exit 0 if ( !$r && -f $out ); # 3. pstopdf (BSD/MacOS X utility) |