aboutsummaryrefslogtreecommitdiffstats
path: root/docs/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'docs/Makefile')
-rw-r--r--docs/Makefile4
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