diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 1392c21..0000000 --- a/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -.SUFFIXES: .md .pdf .dot .svg - -all: fable.pdf - -fable.pdf: Makefile fable.md arch.svg - -.md.pdf: - pandoc -o $@ $< - -.dot.svg: - dot -Tsvg -o $@ $< |