Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 2260d9e158f95945f50bd74253241bc227ecd3c1)
+++ doc/user/Makefile	(revision 179510c5e703c1f1ef7a60f369d9b95550edbfb1)
@@ -55,5 +55,5 @@
 
 ${DOCUMENT} : ${BASE}.ps
-	ps2pdf $<
+	ps2pdf -dPDFSETTINGS=/prepress $<
 
 ${BASE}.ps : ${BASE}.dvi