diff options
Diffstat (limited to '3rdparty/rapidjson/doc/diagram/makefile')
-rw-r--r-- | 3rdparty/rapidjson/doc/diagram/makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/3rdparty/rapidjson/doc/diagram/makefile b/3rdparty/rapidjson/doc/diagram/makefile new file mode 100644 index 00000000000..3483977655d --- /dev/null +++ b/3rdparty/rapidjson/doc/diagram/makefile @@ -0,0 +1,8 @@ +%.pdf: %.dot + dot $< -Tpdf -o $@ + +%.png: %.dot + dot $< -Tpng -o $@ + +DOTFILES = $(basename $(wildcard *.dot)) +all: $(addsuffix .png, $(DOTFILES)) $(addsuffix .pdf, $(DOTFILES)) |