Use pdflatex directly

diff --git a/doc/libgraph/Makefile b/doc/libgraph/Makefile
index 4fba23ed24048231a4b021e69fb127e22e6cb97a..f551a9ce8f2a44868011a86392a09fe239f5c0d8 100644 (file)
--- a/doc/libgraph/Makefile
+++ b/doc/libgraph/Makefile
@@ -7,8 +7,9 @@ all : Agraph.pdf
 %.pdf : %.dot
        dot -Tps2 $< | epstopdf --filter --outfile=$@
 
-Agraph.pdf : Agraph.ps
-       ps2pdf Agraph.ps Agraph.pdf
+Agraph.pdf : Agraph.tex
+       $(PTEX) Agraph.tex
+       @if grep "Label(s) may have changed" Agraph.log; then $(PTEX) Agraph.tex; fi
 
 Agraph.ps : Agraph.dvi 
        @if grep "Label(s) may have changed" Agraph.log; then $(TEX) Agraph.tex; fi