diff -r 732281184c54 -r 91d190223daa documentation/graphs/Makefile
--- a/documentation/graphs/Makefile	Wed Aug 13 14:37:54 2008 +0000
+++ b/documentation/graphs/Makefile	Wed Aug 13 15:51:26 2008 +0000
@@ -20,13 +20,17 @@
 
 #-----------------------------------------------------------------------------
 
-all: $(PDF)
+all: pdf
+
+pdf: $(PDF)
+
+ps: $(PS)
 
 %.ps: %.dot
 	dot -Tps -o $@ $<
 
 %.pdf: %.ps
-	ps2pdf $<
+	epstopdf $<
 
 clean:
 	@rm -f *.ps *.pdf