blob: 6935ba838762d1a0521326e3b08f2819b2e9dde0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
<?xml version="1.0" encoding="UTF-8"?>
<project name="org.eclipse.osee.coverage.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 Coverage 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 ATS 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 Coverage User's Guide"
generateUnifiedToc="true">
<path name="OSEE/Coverage/Users_Guide/Intro" title="Getting Started" />
<path name="OSEE/Coverage/Users_Guide/Views" title="Views and Editors" />
<path name="OSEE/Coverage/Users_Guide/Usage" title="Using Coverage" />
<path name="OSEE/Coverage/Users_Guide/Tips" title="Tips and Tricks" />
<path name="OSEE/Coverage/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>
|