From dda40578ce8ae249bc81f3c925a4fb5539e88d18 Mon Sep 17 00:00:00 2001 From: Florian Pose Date: Fri, 8 Feb 2013 20:00:16 +0100 Subject: [PATCH] Directly export PDFs from DOT graphs. --- documentation/graphs/Makefile | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/documentation/graphs/Makefile b/documentation/graphs/Makefile index 73f85b9d..d067546b 100644 --- a/documentation/graphs/Makefile +++ b/documentation/graphs/Makefile @@ -18,7 +18,6 @@ GRAPHS := \ #----------------------------------------------------------------------------- -PS = $(addsuffix .ps,$(GRAPHS)) PDF = $(addsuffix .pdf,$(GRAPHS)) #----------------------------------------------------------------------------- @@ -27,15 +26,10 @@ all: pdf 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 #-----------------------------------------------------------------------------