blob: d5711565736b8a1bec17520389a15e90a93a6b6c [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<!-- ======================================================================
14 nov. 2011 15:31:06
project
description
kartben
====================================================================== -->
<project name="project" default="default">
<description>
Generate Eclipse help content for the LDT User Guide
</description>
<path id="wikitext.tasks.classpath">
<fileset dir="lib/">
<include name="org.eclipse.mylyn.wikitext.*core*.jar"/>
</fileset>
</path>
<taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/internal/wikitext/mediawiki/core/tasks/tasks.properties" />
<taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/wikitext/core/util/anttask/tasks.properties" />
<target name="default" description="Generate Eclipse help content for the LDT documentation">
<sequential>
<delete dir="${basedir}/help" />
<mediawiki-to-eclipse-help wikiBaseUrl="http://wiki.eclipse.org" validate="true"
failonvalidationerror="true" prependImagePrefix="images" formatoutput="true"
defaultAbsoluteLinkTarget="doc_external" dest="${basedir}/help" helpPrefix="help"
generateUnifiedToc="true" navigationimages="true">
<path name="LDT/User_Area/User_Guides/User_Guide_1.4" title="LDT User Guide" />
<path name="LDT/User_Area/TipsandTricks" title="Tips and Tricks"/>
<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="help/images" />
<copy todir="${basedir}/help/images" overwrite="true">
<fileset dir="images" />
</copy>
</sequential>
</target>
</project>