Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/user/Makefile

    rd6a98f3 r179510c5  
    5555
    5656${DOCUMENT} : ${BASE}.ps
    57         ps2pdf $<
     57        ps2pdf -dPDFSETTINGS=/prepress $<
    5858
    5959${BASE}.ps : ${BASE}.dvi
Note: See TracChangeset for help on using the changeset viewer.