annotate doc/wiki2docbook/html2db/build.xml @ 1773:2ae81598b254

scripts for converting wiki documentation to docbook
author nadvornik
date Sun, 22 Nov 2009 09:12:22 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1773
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
1 <!-- This build file won't work on your machine. It uses too many
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
2 absolute pathnames. I'm including it in case it's useful to you
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
3 as a starting point -->
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
4 <project default="build">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
5 <taskdef resource="net/sf/antcontrib/antcontrib.properties"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
6 <property file="build.properties"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
7
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
8 <path id="saxon.processor.classpath">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
9 <pathelement path="${saxon.location}" />
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
10 <pathelement path="${xercesImpl.dir}/xercesImpl.jar"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
11 <pathelement path="${docbook-xsl}/extensions/saxon651.jar" />
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
12 </path>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
13
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
14 <path id="classpath.fop">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
15 <pathelement path="${fop.dir}/fop.jar"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
16 <pathelement path="${xerces.dir}/xerces.jar"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
17 <pathelement path="${fop.dir}/batik.jar"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
18 <pathelement path="${fop.dir}/avalon-framework-cvs-20020806.jar"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
19 </path>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
20
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
21 <xmlcatalog id="commonDTDs">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
22 <dtd publicId="-//W3C//DTD XHTML 1.0 Transitional//EN"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
23 location="${dtds}/xhtml1-transitional.dtd"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
24 </xmlcatalog>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
25
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
26 <target name="db">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
27 <!-- The output depends on these, but the style task doesn't know this,
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
28 so delete them manually -->
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
29 <outofdate>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
30 <sourcefiles>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
31 <fileset dir="." includes="html2db.xsl,html2db-common.xsl,html2db-utils.xsl"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
32 </sourcefiles>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
33 <targetfiles path="index.xml"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
34 <sequential>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
35 <delete file="index.xml"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
36 </sequential>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
37 </outofdate>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
38 <style style="example.xsl"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
39 in="index.src.html"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
40 out="index.xml">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
41 <xmlcatalog refid="commonDTDs"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
42 </style>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
43 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
44
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
45 <target name="saxon">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
46 <java classname="com.icl.saxon.StyleSheet"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
47 fork="yes"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
48 failonerror="true">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
49 <classpath refid="saxon.processor.classpath" />
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
50 <!--jvmarg value="-Djavax.xml.parsers.DocumentBuilderFactory=org.apache.xerces.jaxp.DocumentBuilderFactoryImpl"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
51 <jvmarg value="-Djavax.xml.parsers.SAXParserFactory=org.apache.xerces.jaxp.SAXParserFactoryImpl"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
52 <jvmarg value="-Dorg.apache.xerces.xni.parser.XMLParserConfiguration=org.apache.xerces.parsers.XIncludeParserConfiguration"/-->
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
53 <arg line="-o index.xml"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
54 <arg line="index.src.html"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
55 <arg line="example.xsl"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
56 </java>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
57 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
58
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
59 <target name="just-html">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
60 <style style="${docbook}/html/docbook.xsl"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
61 in="index.xml"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
62 out="index.html">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
63 <param name="shade.verbatim" expression="1"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
64 <param name="make.valid.html" expression="1"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
65 </style>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
66 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
67
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
68 <target name="html" depends="db,just-html"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
69
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
70 <target name="chunk" depends="db">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
71 <mkdir dir="docs"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
72 <style style="${docbook}/html/chunk.xsl"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
73 in="index.xml"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
74 out="docs/index.html">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
75 <param name="shade.verbatim" expression="1"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
76 </style>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
77 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
78
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
79 <target name="pdf" depends="db">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
80 <style style="${docbook}/fo/docbook.xsl"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
81 in="index.xml"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
82 out="index.fo">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
83 <param name="shade.verbatim" expression="1"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
84 <param name="fop.extensions" expression="1"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
85 </style>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
86 <outofdate>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
87 <sourcefiles>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
88 <fileset dir="." includes="index.fo"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
89 </sourcefiles>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
90 <targetfiles>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
91 <fileset dir="." includes="html2db.pdf"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
92 </targetfiles>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
93 <sequential>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
94 <java classname="org.apache.fop.apps.Fop"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
95 fork="yes"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
96 failonerror="true">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
97 <classpath refid="classpath.fop"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
98 <arg line="-fo index.fo"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
99 <arg line="-pdf html2db.pdf"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
100 </java>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
101 </sequential>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
102 </outofdate>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
103 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
104
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
105 <target name="docs" depends="html,chunk,pdf"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
106
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
107 <target name="zip" depends="docs">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
108 <zip destfile="build/html2db.zip">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
109 <!-- html2db source -->
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
110 <fileset dir="." includes="*.xsl,index.src.html"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
111 <fileset dir="." includes="*.xsl,index.src.html,LICENSE.txt"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
112 <!-- build source -->
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
113 <fileset dir="." includes="build.xml,tidy.properties"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
114 <!-- generated docs -->
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
115 <fileset dir="." includes="index.xml,index.html,html2db.pdf"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
116 <fileset dir="docs"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
117 </zip>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
118 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
119
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
120 <target name="build" depends="zip"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
121
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
122 <target name="sitedocs" depends="chunk">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
123 <exec executable="tidy">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
124 <arg line="-config tidy.properties -o build/index.html docs/index.html"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
125 </exec>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
126 <mkdir dir="build/sitedocs"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
127 <style style="extract-toc.xsl"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
128 in="build/index.html"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
129 out="build/sitedocs/index.html">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
130 <xmlcatalog refid="commonDTDs"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
131 </style>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
132 <copy todir="build/sitedocs">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
133 <fileset dir="docs" includes="*" excludes="index.html"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
134 </copy>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
135 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
136
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
137 <target name="stage" depends="zip,sitedocs">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
138 <property file="build.properties"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
139 <echo message="${docbook}"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
140 <echo message="${htdocs}"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
141 <copy file="build/html2db.zip" todir="${htdocs}/sources"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
142 <copy todir="${htdocs}/software/xslt/html2db">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
143 <fileset dir="." includes="*.xsl,index.src.html,build.xml"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
144 <fileset dir="." includes="index.xml,html2db.pdf"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
145 <fileset dir="build/sitedocs"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
146 </copy>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
147 <copy tofile="${htdocs}/software/xslt/html2db/onepage.html"
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
148 file="index.html"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
149 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
150
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
151 <target name="clean">
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
152 <delete>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
153 <fileset dir="." includes="index.fo"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
154 <fileset dir="." includes="index.xml,index.html,index.fo,html2db.pdf"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
155 <fileset dir="build"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
156 <fileset dir="docs"/>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
157 </delete>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
158 </target>
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
159
2ae81598b254 scripts for converting wiki documentation to docbook
nadvornik
parents:
diff changeset
160 </project>