diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index 528c4f53f2..aa2b8a1aee 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -30,10 +30,10 @@ install: all pdf/%.pdf: ps/%.ps mkdir -p pdf ; ps2pdf $< $@ -ps/%.ps: %.dvi $(GFX) +ps/%.ps: %.dvi mkdir -p ps ; dvips -Ppdf -G0 -o $@ $< -%.dvi: src/%.tex +%.dvi: src/%.tex $(GFX) latex $< >/dev/null if [ -e $*.toc ] ; then latex $< >/dev/null ; fi |