diff options
Diffstat (limited to 'annual/2023/motions/Makefile')
| -rw-r--r-- | annual/2023/motions/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/annual/2023/motions/Makefile b/annual/2023/motions/Makefile new file mode 100644 index 0000000..1f8c327 --- /dev/null +++ b/annual/2023/motions/Makefile @@ -0,0 +1,7 @@ +MD = $(basename $(wildcard *.md)) + +all: $(addsuffix .pdf, $(MD)) + +%.pdf: %.md + cat $< | sed -f drop.sed |\ + pandoc -s -f markdown -t latex -o $@ |