diff options
-rw-r--r-- | Makefile | 6 | ||||
-rwxr-xr-x | pandoc.sh | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..3d603f8 --- /dev/null +++ b/Makefile @@ -0,0 +1,6 @@ +.SUFFIXES: .md .pdf + +all: echo.pdf tutorial.pdf + +.md.pdf: + ./pandoc.sh $< -o $@ @@ -3,6 +3,7 @@ set -eu pandoc \ + --filter ./pandoc-fable-filter \ --toc \ --number-sections \ -Vdocumentclass:report \ |