Directly export PDFs from DOT graphs.
--- 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
#-----------------------------------------------------------------------------