blob: 77b6057e48dc157f26f98bae8af9ce0719b660ff [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
Copyright (c) 2012, 2018 Red Hat, Inc.
This program and the accompanying materials are made
available under the terms of the Eclipse Public License 2.0
which is available at
SPDX-License-Identifier: EPL-2.0
Red Hat - initial API and implementation
<project name="" default="all">
Generate Eclipse help content for the Linux Tools profiling user guide
<property name="help.doc.url.base" value=""/>
<target name="all" description="Generate Eclipse help content for the Linux Tools profiling user guide">
<mediawiki-to-eclipse-help wikiBaseUrl="${help.doc.url.base}" title="Profiling Framework User Guide" formatoutput="true" dest="." templateExcludes="*eclipseproject*">
<path name="Linux_Tools_Project/Profiling/User_Guide" title="Profiling Framework User Guide" generateToc="false" />
<stylesheet url="book.css" />
= Updating This Document =
This document is maintained in a collaborative wiki. If you wish to update or modify this document please visit
<antcall target="test" />
<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)
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" />
<dtd publicid="-//W3C//DTD XHTML 1.0 Transitional//EN" location="${basedir}/tmp/__empty.dtd" />
<delete dir="tmp"/>