diff options
Diffstat (limited to 'Info/9/3/Planet/Makefile')
| -rw-r--r-- | Info/9/3/Planet/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Info/9/3/Planet/Makefile b/Info/9/3/Planet/Makefile index f825714e..c6e49c0a 100644 --- a/Info/9/3/Planet/Makefile +++ b/Info/9/3/Planet/Makefile @@ -11,6 +11,7 @@ PLOTS := $(PLOTSRCS:.plantuml=.svg) $(TIKSSRC:.tikz=.svg) SRC := $(shell find -name "*.md") PANDOC_FILTER := --filter pandoc-plot +PANDOC_FILTER += --lua-filter pandoc/add-erledigt-btn.lua PANDOC_FILTER += --lua-filter pandoc/color-text.lua PANDOC_FILTER += --lua-filter pandoc/wrap-merke.lua PANDOC_FILTER += --lua-filter pandoc/center-img.lua |