doc: Clean up the build.xml Ant files
[deliverable/tracecompass.git] / doc / org.eclipse.tracecompass.doc.dev / build.xml
CommitLineData
067490ab 1<?xml version="1.0" encoding="UTF-8"?>
8995fed0 2<project name="org.eclipse.tracecompass.doc.dev" default="build" basedir=".">
067490ab 3 <description>
8995fed0 4 Generate Eclipse help content for the Trace Compass Developer Guide
067490ab
AM
5 </description>
6
502334c4 7 <property name="document.title" value="Trace Compass Developer Guide" />
067490ab
AM
8
9 <path id="wikitext.tasks.classpath">
9298e695
MAL
10 <!-- Search in the local Eclipse plugins directory for the Wikitext plugin -->
11 <fileset dir="${osgi.syspath}" erroronmissingdir="false">
067490ab 12 <include name="org.eclipse.mylyn.wikitext.*core*.jar" />
571556ce 13 <include name="com.google.guava_*.jar" />
067490ab
AM
14 </fileset>
15
067490ab
AM
16 <!-- For Maven builds: use the compile_classpath -->
17 <pathelement path="${compile_classpath}" />
18 </path>
19
4fc71fbc 20 <taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/wikitext/core/ant/tasks.properties" />
067490ab 21
502334c4 22 <target name="build" description="Generate Eclipse help content for the Trace Compass Developer Guide">
067490ab
AM
23 <wikitext-to-eclipse-help markupLanguage="MediaWiki"
24 validate="true"
25 failonvalidationerror="true"
26 overwrite="true"
27 multipleOutputFiles="true"
28 navigationimages="true"
502334c4 29 title="${document.title}"
067490ab
AM
30 formatoutput="true"
31 helpPrefix="doc">
32 <fileset dir="doc">
73844f9c 33 <include name="Developer-Guide.mediawiki" />
067490ab
AM
34 </fileset>
35 <stylesheet url="book.css" />
36 </wikitext-to-eclipse-help>
a9567d7b 37 <antcall target="test" />
067490ab
AM
38 </target>
39
40 <target name="test" description="Verify that all of the HTML files are well-formed XML">
d5efe032 41 <!--
067490ab 42 Don't bother with DTD validation: we only care if the files are well-formed.
d5efe032 43 We therefore provide an empty DTD
067490ab
AM
44 -->
45 <xmlvalidate lenient="true">
46 <fileset dir="doc">
47 <include name="**/*.html" />
48 </fileset>
502334c4 49 <dtd publicid="-//W3C//DTD XHTML 1.0 Transitional//EN" location="../.empty.dtd" />
067490ab
AM
50 </xmlvalidate>
51 </target>
52
53 <target name ="clean" description="Delete all generated files">
a9567d7b 54 <delete failonerror="false">
067490ab
AM
55 <fileset dir="doc" includes="**/*.html" />
56 <fileset dir="doc" includes="**/*.xml" />
57 </delete>
58 </target>
59
60</project>
This page took 0.04959 seconds and 5 git commands to generate.