diff options
Diffstat (limited to 'chapter07/docs')
| -rw-r--r-- | chapter07/docs/Makefile | 12 | ||||
| -rw-r--r-- | chapter07/docs/build-graphs.sh | 6 |
2 files changed, 12 insertions, 6 deletions
diff --git a/chapter07/docs/Makefile b/chapter07/docs/Makefile new file mode 100644 index 00000000..12659b8f --- /dev/null +++ b/chapter07/docs/Makefile @@ -0,0 +1,12 @@ +GV := $(wildcard *.gv) +SVG := $(patsubst %.gv,%.svg,$(GV)) + +.PHONY: all +all: $(SVG) + +%.svg: %.gv + dot -Tsvg $< > $@ + +.PHONY: clean +clean: + @rm -f $(SVG) diff --git a/chapter07/docs/build-graphs.sh b/chapter07/docs/build-graphs.sh deleted file mode 100644 index 27b2b72f..00000000 --- a/chapter07/docs/build-graphs.sh +++ /dev/null @@ -1,6 +0,0 @@ -dot -Tsvg 07-graph1.gv > 07-graph1.svg -dot -Tsvg 07-graph2.gv > 07-graph2.svg -dot -Tsvg 07-graph3.gv > 07-graph3.svg -dot -Tsvg 07-graph4.gv > 07-graph4.svg - - |