From d277d37ac270c5f362e4a7f331777605fdc2d820 Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Mon, 3 Jun 2019 21:37:25 +0300 Subject: Add: Makefile to format all documents --- Makefile | 6 ++++++ pandoc.sh | 1 + 2 files changed, 7 insertions(+) create mode 100644 Makefile 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 $@ diff --git a/pandoc.sh b/pandoc.sh index 3942448..4485584 100755 --- a/pandoc.sh +++ b/pandoc.sh @@ -3,6 +3,7 @@ set -eu pandoc \ + --filter ./pandoc-fable-filter \ --toc \ --number-sections \ -Vdocumentclass:report \ -- cgit v1.2.1