# HG changeset patch # User Florian Pose # 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 #-----------------------------------------------------------------------------