2021-02-08 16:41:27 +00:00
|
|
|
all: $(addsuffix .png, $(basename $(wildcard *.dot))) $(addsuffix .pdf, $(basename $(wildcard *.dot))) $(addsuffix .svg, $(basename $(wildcard *.dot)))
|
|
|
|
|
|
|
|
# all:
|
|
|
|
# for dot in *.dot; do make $${dot%%.dot}.png; done
|
|
|
|
# for dot in *.dot; do make $${dot%%.dot}.pdf; done
|
|
|
|
# for dot in *.dot; do make $${dot%%.dot}.svg; done
|
2020-01-09 10:15:47 +00:00
|
|
|
|
|
|
|
clean:
|
|
|
|
rm -f *.png *.pdf *.svg
|
|
|
|
|
|
|
|
%.png: %.dot
|
2021-03-08 20:55:47 +00:00
|
|
|
dot -Tpng -Gdpi=300 < $< > $@
|
|
|
|
|
|
|
|
%.eps: %.dot
|
|
|
|
dot -Teps < $< > $@
|
2020-01-09 10:15:47 +00:00
|
|
|
|
2020-06-18 15:52:22 +00:00
|
|
|
%.jpg: %.dot
|
|
|
|
dot -Tjpg < $< > $@
|
|
|
|
|
2020-01-09 10:15:47 +00:00
|
|
|
%.pdf: %.dot
|
|
|
|
dot -Tpdf < $< > $@
|
|
|
|
|
|
|
|
%.svg: %.dot
|
|
|
|
dot -Tsvg < $< > $@
|