--- manual/Makefile 2002/09/20 19:35:20 1.16 +++ manual/Makefile 2002/11/20 14:08:51 1.17 @@ -46,7 +46,7 @@ TEXINPUTS=.:::texinputs latex manual | tee warnings manual.ps: manual.dvi - dvips -Pcmz -Pamz -Ppdf -o manual.ps manual.dvi + dvips -Pcmz -Pamz -o manual.ps manual.dvi manual.pdf: manual.ps ps2pdf -dMaxSubsetPct=100 -dCompatibilityLevel=1.2 -dSubsetFonts=true -dEmbedAllFonts=true manual.ps manual.pdf