aboutsummaryrefslogtreecommitdiffstats
blob: e1650e595c711a8e68623cc931bdecfdcf49c282 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
<?xml version="1.0" encoding="UTF-8"?>
<project name="org.eclipse.linuxtools.valgrind.doc" default="all">
    <description>
            Generate Eclipse help content for the Linux Tools Valgrind user guide
    </description>

    <property name="help.doc.url.base" value="http://wiki.eclipse.org" />

    <path id="wikitext.tasks.classpath">
        <!-- Replace dir with the dir you have wikitext installed into.-->
        <fileset dir="/usr/share/eclipse/dropins/mylyn/eclipse/plugins">
            <include name="org.eclipse.mylyn.wikitext.*core*.jar" />
        </fileset>
    </path>

    <taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/wikitext/core/util/anttask/tasks.properties" />
    <taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/internal/wikitext/mediawiki/core/tasks/tasks.properties" />

    <target name="all" description="Generate Eclipse help content for the Linux Tools Valgrind user guide">
        <mediawiki-to-eclipse-help wikiBaseUrl="${help.doc.url.base}" title="Valgrind User Guide" formatoutput="true" dest="." templateExcludes="*eclipseproject*, Infobox">

            <path name="Linux_Tools_Project/Valgrind/User_Guide" title="Valgrind User Guide" generateToc="false" />
            <stylesheet url="book.css" />
            <pageAppendum>
    = Updating This Document =

    This document is maintained in a collaborative wiki.  If you wish to update or modify this document please visit
    http://wiki.eclipse.org/Linux_Tools_Project/Valgrind/User_Guide .
                                     </pageAppendum>
        </mediawiki-to-eclipse-help>
        <antcall target="test" />
    </target>

    <target name="test" description="verify that all of the HTML files are well-formed XML">
        <echo level="info">
Validating help content XML and HTML files: The Eclipse help system expects well-formed XML

If validation fails it is because either:

* the userguide source code is poorly formed, or
* the WikiText MediaWiki parser has a bug

Problems with userguide source are usually caused by improper use of HTML markup in the MediaWiki source,
or inadvertently starting a line with a space character (in MediaWiki this starts a preformatted block)
        </echo>

        <!--
        Don't bother with DTD validation: we only care if the files are well-formed.
        We therefore provide an empty DTD
        -->
        <echo file="tmp/__empty.dtd" message="" />
        <xmlvalidate lenient="true">
            <fileset dir="Linux_Tools_Project">
                <include name="**/*.html" />
            </fileset>
            <dtd publicid="-//W3C//DTD XHTML 1.0 Transitional//EN" location="${basedir}/tmp/__empty.dtd" />
        </xmlvalidate>
        <delete dir="tmp" />
    </target>
</project>