diff -r d64957379916 -r e24a695792c7 documentation/graphs/Makefile
--- a/documentation/graphs/Makefile	Fri Nov 04 12:21:09 2011 +0100
+++ b/documentation/graphs/Makefile	Fri Nov 04 12:21:36 2011 +0100
@@ -33,7 +33,7 @@
 	dot -Tps -o $@ $<
 
 %.pdf: %.ps
-	epstopdf $<
+	ps2pdf $<
 
 clean:
 	@rm -f *.ps *.pdf