doc: Update developer guide for time graph markers
[deliverable/tracecompass.git] / doc / org.eclipse.tracecompass.gdbtrace.doc.user / build.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!--
3 Copyright (c) 2013 Ericsson
4
5 All rights reserved. This program and the accompanying materials
6 are made available under the terms of the Eclipse Public License v1.0
7 which accompanies this distribution, and is available at
8 http://www.eclipse.org/legal/epl-v10.html
9 -->
10 <project name="org.eclipse.tracecompass.gdbtrace.doc.user" default="build">
11 <description>
12 Generate Eclipse help content for the Trace Compass GDB Tracepoint Analysis User Guide
13 </description>
14
15 <property name="document.title" value="GDB Tracepoint Analysis User Guide" />
16
17 <path id="wikitext.tasks.classpath">
18 <!-- Search in the local Eclipse plugins directory for the Wikitext plugin -->
19 <fileset dir="${osgi.syspath}" erroronmissingdir="false">
20 <include name="org.eclipse.mylyn.wikitext.*core*.jar" />
21 <include name="com.google.guava_*.jar" />
22 </fileset>
23
24 <!-- For Maven builds: use the compile_classpath -->
25 <pathelement path="${compile_classpath}" />
26 </path>
27
28 <taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/wikitext/core/ant/tasks.properties" />
29
30 <target name="build" description="Generate Eclipse help content for the Trace Compass GDB Tracepoint Analysis User Guide">
31 <wikitext-to-eclipse-help markupLanguage="MediaWiki"
32 validate="true"
33 failonvalidationerror="true"
34 overwrite="true"
35 multipleOutputFiles="true"
36 navigationimages="true"
37 title="${document.title}"
38 formatoutput="true"
39 helpPrefix="doc">
40 <fileset dir="./doc">
41 <include name="User-Guide.mediawiki" />
42 </fileset>
43 <stylesheet url="book.css" />
44 </wikitext-to-eclipse-help>
45 <antcall target="test" />
46 </target>
47
48 <target name="test" description="Verify that all of the HTML files are well-formed XML">
49 <!--
50 Don't bother with DTD validation: we only care if the files are well-formed.
51 We therefore provide an empty DTD
52 -->
53 <xmlvalidate lenient="true">
54 <fileset dir="doc">
55 <include name="**/*.html" />
56 </fileset>
57 <dtd publicid="-//W3C//DTD XHTML 1.0 Transitional//EN" location="../.empty.dtd" />
58 </xmlvalidate>
59 </target>
60
61 <target name ="clean" description="Delete all generated files">
62 <delete failonerror="false" includeemptydirs="true">
63 <fileset dir="doc" includes="**/*.html" />
64 <fileset dir="doc" includes="**/*.xml" />
65 </delete>
66 </target>
67 <target name="build.index" description="Builds search index for the plug-in" if="eclipse.running">
68 <help.buildHelpIndex manifest="${basedir}/plugin.xml" destination="${basedir}" />
69 </target>
70 </project>
This page took 0.035825 seconds and 5 git commands to generate.