diff options
Diffstat (limited to 'Info/9/3/Planet')
| -rw-r--r-- | Info/9/3/Planet/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Info/9/3/Planet/Makefile b/Info/9/3/Planet/Makefile index ee0da2c3..ec70e9d2 100644 --- a/Info/9/3/Planet/Makefile +++ b/Info/9/3/Planet/Makefile @@ -17,7 +17,7 @@ PLOTSRCS := $(shell find -name "*.plantuml") TIKSSRC := $(shell find -name "*.tikz") PLOTS := $(PLOTSRCS:.plantuml=.svg) $(TIKSSRC:.tikz=.svg) -SRC := $(shell find -name "*.md") +SRC := $(shell find -name "*.md" -not -name "Readme.md") PANDOC_FILTER := --filter pandoc-plot PANDOC_FILTER += --lua-filter pandoc/add-erledigt-btn.lua |