Index: nasm-2.07/doc/Makefile.in =================================================================== --- nasm-2.07.orig/doc/Makefile.in 2009-07-20 07:22:29.000000000 +0200 +++ nasm-2.07/doc/Makefile.in 2010-12-16 14:23:46.678843306 +0100 @@ -64,7 +64,7 @@ nasmdoc.ps: nasmdoc.dip nasmlogo.eps $(s nasmdoc.pdf: nasmdoc.ps $(ACRODIST) -n -q --nosecurity -o $@ $< || \ $(PS2PDF) $< $@ || \ - $(PSTOPDF) $< -o $@ + $(PSTOPDF) $< -o $@ || true .PHONY: info info: info/nasm.info