| <?xml version="1.0" encoding="UTF-8"?> |
| <project name="org.eclipse.osee.ote.help.ui" basedir="." default="all"> |
| <property name="osee.base.help.plugin" value="../org.eclipse.osee.framework.help.ui" /> |
| <property name="ant.file.imported" value="${osee.base.help.plugin}/scripts" /> |
| <import file="${ant.file.imported}/help-build-common.xml" /> |
| |
| <description>Generate Eclipse help content for the OSEE OTE 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 OTE 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 OTE User's Guide" |
| generateUnifiedToc="true"> |
| <path name="OSEE/OTE/Users_Guide/Getting_Started" title="Getting Started" /> |
| <path name="OSEE/OTE/Users_Guide/Concepts" title="Concepts" /> |
| <path name="OSEE/OTE/Users_Guide/Features" title="Features" /> |
| <path name="OSEE/OTE/Users_Guide/Tips" title="Tips and Tricks" /> |
| <path name="OSEE/OTE/Users_Guide/New" title="What's 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="${ant.file.imported}/commonImages" /> |
| </copy> |
| </sequential> |
| </target> |
| </project> |