# HG changeset patch
# User Florian Pose <fp@igh-essen.com>
# Date 1360350016 -3600
# Node ID a01947bc9ab6626df80a4f82973530201ea83029
# Parent  cb03c618a9e26e4b5b9bfaa4b5b94e5115580cb5
Directly export PDFs from DOT graphs.

diff -r cb03c618a9e2 -r a01947bc9ab6 documentation/graphs/Makefile
--- a/documentation/graphs/Makefile	Thu Feb 07 18:19:13 2013 +0100
+++ b/documentation/graphs/Makefile	Fri Feb 08 20:00:16 2013 +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
 
 #-----------------------------------------------------------------------------