diff -r af21f0bdc7c9 -r 2b9c78543663 documentation/graphs/Makefile
--- a/documentation/graphs/Makefile	Thu Sep 06 14:21:02 2012 +0200
+++ b/documentation/graphs/Makefile	Mon Nov 03 15:20:05 2014 +0100
@@ -18,7 +18,6 @@
 
 #-----------------------------------------------------------------------------
 
-PS = $(addsuffix .ps,$(GRAPHS))
 PDF = $(addsuffix .pdf,$(GRAPHS))
 
 #-----------------------------------------------------------------------------
@@ -27,15 +26,10 @@
 
 pdf: $(PDF)
 
-ps: $(PS)
-
-%.ps: %.dot
-	dot -Tps -o $@ $<
-
-%.pdf: %.ps
-	ps2pdf $<
+%.pdf: %.dot
+	dot -Tpdf -o $@ $<
 
 clean:
-	@rm -f *.ps *.pdf
+	@rm -f *.pdf
 
 #-----------------------------------------------------------------------------