blob: 5519e1d0e7ff3481ab90d482a2b88e386ebe6dcf (
plain) (
tree)
|
|
<?xml version="1.0" encoding="UTF-8"?>
<project name="org.eclipse.osee.framework.help.ui" basedir="."
default="all">
<import file="scripts/help-build-common.xml" />
<description>Generate Eclipse help content for the OSEE user guide
</description>
<property name="osee.help.doc.url.base" value="http://wiki.eclipse.org" />
<target name="all"
description="Generate Eclipse help content for the OSEE user guide">
<sequential>
<delete failonerror="false">
<fileset dir="OSEE" />
<fileset dir="images" />
</delete>
<mediawiki-to-eclipse-help wikiBaseUrl="${osee.help.doc.url.base}"
validate="true" failonvalidationerror="true" prependImagePrefix="images"
formatoutput="true" defaultAbsoluteLinkTarget="osee_external" dest="${basedir}"
navigationimages="true" title="OSEE User's Guide"
generateUnifiedToc="true">
<path name="OSEE/Users_Guide/Getting_Started" title="Introduction" />
<path name="OSEE/Users_Guide/Concepts" title="Concepts" />
<path name="OSEE/Users_Guide/Features" title="Features" />
<path name="OSEE/Users_Guide/Tips" title="Tips" />
<path name="OSEE/Users_Guide/New" title="New" />
<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
{url}</pageAppendum>
</mediawiki-to-eclipse-help>
<mkdir dir="images" />
<copy todir="${basedir}/images" overwrite="true">
<fileset dir="scripts/commonImages" />
</copy>
</sequential>
</target>
</project>
|