diff options
-rw-r--r-- | build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -51,6 +51,8 @@ | |||
51 | <apply executable="pandoc" dest="${dir.docs}"> | 51 | <apply executable="pandoc" dest="${dir.docs}"> |
52 | <arg value="--template"/> | 52 | <arg value="--template"/> |
53 | <arg value="${dir.docsrc}/report-template.tex"/> | 53 | <arg value="${dir.docsrc}/report-template.tex"/> |
54 | <arg value="--filter=pandoc-filter-plantuml.sh"/> | ||
55 | <arg value="--filter=pandoc-filter-tikz.py"/> | ||
54 | <arg value="--number-sections"/> | 56 | <arg value="--number-sections"/> |
55 | <arg value="--listings"/> | 57 | <arg value="--listings"/> |
56 | <arg value="--output"/> | 58 | <arg value="--output"/> |