diff options
Diffstat (limited to 'doc/images/Makefile')
| -rw-r--r-- | doc/images/Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/doc/images/Makefile b/doc/images/Makefile deleted file mode 100644 index 20a41d1f..00000000 --- a/doc/images/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -.PHONY: all - -sources = \ - type_hierarchy.dot - -all: $(sources:%.dot=%.svg) $(sources:%.dot=%.png) - -%.svg: %.dot - dot -Tsvg $< -o $@ - -%.png: %.dot - dot -Tpng $< -o $@ |