summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml13
1 files changed, 10 insertions, 3 deletions
diff --git a/build.xml b/build.xml
index 7b9229d..ef57fb4 100644
--- a/build.xml
+++ b/build.xml
@@ -208,10 +208,10 @@
</target>
- <!-- you need to have the python docutils package installed, since
- we use the rst2html tool -->
<target name="build-docs" description="render documentation">
- <rST format="html" uptodate="true">
+ <rST format="html" uptodate="false"
+ toolparam="--stylesheet=res/docs/style.css"
+ >
<fileset dir="doc">
<include name="ChangeLog"/>
<include name="**.txt"/>
@@ -221,6 +221,13 @@
<exclude name="developers/TODO.rst"/>
</fileset>
<mapper type="regexp" from="^doc/(.+?)(.rst|.txt)?$" to="dist/docs/\1.html"/>
+<!--
+ <filterchain>
+ <replacetokenswithfile dir="res/docs">
+ <
+ </replacetokenswithfile>
+ </filterchain>
+-->
</rST>
</target>