| <?xml version="1.0" encoding="UTF-8"?> |
| <project name="org.eclipse.epp.mpc.help.ui" default="all"> |
| <description> |
| Ant build for creating help content from the Eclipsepedia wiki. |
| |
| This build script should be run and related resources committed prior to any release, |
| and when help content changes. |
| </description> |
| |
| <target name="all" depends="init, generate-help" description="Run targets required to initialize and generate help content"> |
| |
| </target> |
| |
| <target name="init"> |
| |
| </target> |
| |
| <target name="clean"> |
| </target> |
| |
| <target name="generate-help"> |
| <path id="wikitext.tasks.classpath"> |
| <fileset dir="lib"> |
| <include name="*.jar"/> |
| </fileset> |
| </path> |
| <taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/internal/wikitext/mediawiki/core/tasks/tasks.properties"/> |
| |
| <mediawiki-to-eclipse-help |
| wikiBaseUrl="http://wiki.eclipse.org" |
| validate="true" |
| failonvalidationerror="true" |
| prependImagePrefix="images" |
| formatoutput="true" |
| defaultAbsoluteLinkTarget="doc_external" |
| dest="${basedir}" |
| title="Eclipse Marketplace User Guide" |
| generateUnifiedToc="true"> |
| <path name="EPP/MPC/User_Guide" title="Marketplace User Guide"/> |
| <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> |
| </target> |
| |
| </project> |