diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/Makefile b/docs/Makefile deleted file mode 100644 index 9b84114..0000000 --- a/docs/Makefile +++ /dev/null @@ -1,6 +0,0 @@ -approach.png: approach.dot - dot -Tpng $^ > $@ - -.PHONY: clean -clean: - rm -rf approach.png |