diff options
| author | Adam Izraelevitz | 2020-08-21 12:02:26 -0700 |
|---|---|---|
| committer | GitHub | 2020-08-21 19:02:26 +0000 |
| commit | 7edba2d10f980016462f917c6d21d64585ddfd6b (patch) | |
| tree | 3eb2a106b0e528b1ae8ed05b54200f828902de09 /doc/images/Makefile | |
| parent | 70fd01d4b0ad18a87bc46558ff246254792aa9b8 (diff) | |
Added website docs and mdoc. (#1560)
* Added website docs and mdoc. Removed all warnings
* Updated README and added build to circle ci
* Added how to build documentation, deprecated wiki
* Fix copypasta
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
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 $@ |