| <?xml version="1.0" encoding="UTF-8"?> |
| <project name="org.eclipse.linuxtools.systemtap.ui.doc" default="all"> |
| <description> |
| Generate Eclipse help content for the Linux Tools SystemTap user guide |
| </description> |
| |
| <property name="help.doc.url.base" value="http://wiki.eclipse.org" /> |
| |
| <target name="all" description="Generate Eclipse help content for the Linux Tools SystemTap user guide"> |
| <mediawiki-to-eclipse-help wikiBaseUrl="${help.doc.url.base}" title="SystemTap User Guide" formatoutput="true" dest="." templateExcludes="*eclipseproject*, Infobox"> |
| |
| <path name="Linux_Tools_Project/Systemtap/User_Guide" title="SystemTap 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/SystemTap/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> |
