From 651d5df1f90985a28a4e7a47cf54292e6f7fefb2 Mon Sep 17 00:00:00 2001
From: Christian Weiske <cweiske@cweiske.de>
Date: Tue, 5 Jul 2011 06:46:51 +0200
Subject: add stylesheet to docs

---
 build.xml | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

(limited to 'build.xml')

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>
 
-- 
cgit v1.2.3