doc/org.eclipse.tracecompass.gdbtrace.doc.user/build.xml

<?xml version="1.0" encoding="UTF-8"?>
<!--
   Copyright (c) 2013 Ericsson

   All rights reserved. This program and the accompanying materials
   are made available under the terms of the Eclipse Public License 2.0
   which accompanies this distribution, and is available at
   https://www.eclipse.org/legal/epl-2.0/

   SPDX-License-Identifier: EPL-2.0
-->
<project name="org.eclipse.tracecompass.gdbtrace.doc.user" default="build">
    <description>
            Generate Eclipse help content for the Trace Compass GDB Tracepoint Analysis User Guide
    </description>

    <property name="document.title" value="GDB Tracepoint Analysis User Guide" />

    <taskdef resource="org/eclipse/mylyn/wikitext/ant/tasks.properties"/>

    <target name="build" description="Generate Eclipse help content for the Trace Compass GDB Tracepoint Analysis User Guide">
        <wikitext-to-eclipse-help markupLanguage="MediaWiki"
                validate="true"
                failonvalidationerror="true"
                overwrite="true"
                multipleOutputFiles="true"
                navigationimages="true"
                title="${document.title}"
                formatoutput="true"
                helpPrefix="doc">
                <fileset dir="./doc">
                   <include name="User-Guide.mediawiki" />
                </fileset>
                <stylesheet url="book.css" />
            </wikitext-to-eclipse-help>
          <antcall target="test" />
    </target>

    <target name="test" description="Verify that all of the HTML files are well-formed XML">
        <!--
        Don't bother with DTD validation: we only care if the files are well-formed.
        We therefore provide an empty DTD
        -->
        <xmlvalidate lenient="true">
            <fileset dir="doc">
                <include name="**/*.html" />
            </fileset>
            <dtd publicid="-//W3C//DTD XHTML 1.0 Transitional//EN" location="../.empty.dtd" />
        </xmlvalidate>
    </target>

    <target name ="clean" description="Delete all generated files">
      <delete failonerror="false" includeemptydirs="true">
        <fileset dir="doc" includes="**/*.html" />
        <fileset dir="doc" includes="**/*.xml" />
      </delete>
    </target>
    <target name="build.index" description="Builds search index for the plug-in" if="eclipse.running">
      <help.buildHelpIndex manifest="${basedir}/plugin.xml" destination="${basedir}" />
    </target>
</project>