diff options
Diffstat (limited to 'chapter04/docs')
| -rw-r--r-- | chapter04/docs/Makefile | 12 | ||||
| -rw-r--r-- | chapter04/docs/build-graphs.sh | 1 |
2 files changed, 12 insertions, 1 deletions
diff --git a/chapter04/docs/Makefile b/chapter04/docs/Makefile new file mode 100644 index 00000000..12659b8f --- /dev/null +++ b/chapter04/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/chapter04/docs/build-graphs.sh b/chapter04/docs/build-graphs.sh deleted file mode 100644 index e736a386..00000000 --- a/chapter04/docs/build-graphs.sh +++ /dev/null @@ -1 +0,0 @@ -dot -Tsvg lattice.gv > lattice.svg |