aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build.xml2
1 files changed, 2 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 79d0ad8..d018e2c 100644
--- a/build.xml
+++ b/build.xml
@@ -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"/>