Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorrschmitt2010-04-06 18:36:48 +0000
committerrschmitt2010-04-06 18:36:48 +0000
commit014accac9b5214b3c8c6299388bbc8c6df9cda3d (patch)
tree688d40bb21f57d1be61e3045599e22c3f4e38f67 /plugins/org.eclipse.osee.coverage.help.ui
parent30c621f6bb03f9b371f479769fce244f6789bf38 (diff)
downloadorg.eclipse.osee-014accac9b5214b3c8c6299388bbc8c6df9cda3d.tar.gz
org.eclipse.osee-014accac9b5214b3c8c6299388bbc8c6df9cda3d.tar.xz
org.eclipse.osee-014accac9b5214b3c8c6299388bbc8c6df9cda3d.zip
Diffstat (limited to 'plugins/org.eclipse.osee.coverage.help.ui')
-rw-r--r--plugins/org.eclipse.osee.coverage.help.ui/build-helper.xml95
-rw-r--r--plugins/org.eclipse.osee.coverage.help.ui/build.properties1
-rw-r--r--plugins/org.eclipse.osee.coverage.help.ui/plugin.xml24
3 files changed, 29 insertions, 91 deletions
diff --git a/plugins/org.eclipse.osee.coverage.help.ui/build-helper.xml b/plugins/org.eclipse.osee.coverage.help.ui/build-helper.xml
index a359b6aca24..95dedf362ad 100644
--- a/plugins/org.eclipse.osee.coverage.help.ui/build-helper.xml
+++ b/plugins/org.eclipse.osee.coverage.help.ui/build-helper.xml
@@ -5,79 +5,42 @@
<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>
+ <description>Generate Eclipse help content for the OSEE Coverage user
+ guide</description>
<property name="osee.help.doc.url.base" value="http://wiki.eclipse.org" />
- <property name="osee.help.image.folder" value="images" />
-
- <property name="osee.help.doc" value="OSEE/Coverage/Users_Guide" />
- <property name="osee.help.doc.intro" value="${osee.help.doc}/Intro" />
- <property name="osee.help.doc.views" value="${osee.help.doc}/Views" />
- <property name="osee.help.doc.usage" value="${osee.help.doc}/Usage" />
- <property name="osee.help.doc.tips" value="${osee.help.doc}/Tips" />
- <property name="osee.help.doc.new" value="${osee.help.doc}/New" />
- <property name="osee.help.doc.update" value="OSEE/Users_Guide/Update" />
-
- <property name="osee.help.intro.file.name" value="OSEE Coverage Intro" />
- <property name="osee.help.views.file.name" value="OSEE Coverage Views" />
- <property name="osee.help.usage.file.name" value="OSEE Coverage Usage" />
- <property name="osee.help.tips.file.name" value="OSEE Coverage Tips" />
- <property name="osee.help.new.file.name" value="OSEE Coverage New" />
- <property name="osee.help.update.file.name" value="OSEE Update" />
<target name="all"
description="Generate Eclipse help content for the OSEE ATS user guide">
<sequential>
- <delete>
- <fileset dir="userguide" />
+ <delete failonerror="false">
+ <fileset dir="OSEE" />
+ <fileset dir="images" />
</delete>
- <antcall target="generate-help"/>
+
+ <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/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>
-
- <target name="generate-help" description="Generate Eclipse help content for the OSEE user guide">
- <path id="wikitext.classpath2">
- <fileset dir="../org.eclipse.osee.framework.help.ui/lib">
- <include name="*.jar"/>
- </fileset>
- </path>
-
- <taskdef resource="org/eclipse/mylyn/wikitext/core/util/anttask/tasks.properties" classpathref="wikitext.classpath2"/>
- <taskdef resource="org/eclipse/mylyn/internal/wikitext/mediawiki/core/tasks/tasks.properties" classpathref="wikitext.classpath2"/>
-
- <delete failonerror="false">
- <fileset dir="OSEE" />
- </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/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/images" />
- <copy todir="${basedir}/images" overwrite="true">
- <fileset dir="${ant.file.imported}/commonImages" />
- </copy>
- </target>
</project>
diff --git a/plugins/org.eclipse.osee.coverage.help.ui/build.properties b/plugins/org.eclipse.osee.coverage.help.ui/build.properties
index 3d42260ef3b..e128f8ae8cb 100644
--- a/plugins/org.eclipse.osee.coverage.help.ui/build.properties
+++ b/plugins/org.eclipse.osee.coverage.help.ui/build.properties
@@ -3,6 +3,5 @@ output.. = bin/
bin.includes = META-INF/,\
.,\
plugin.xml,\
- userguide/,\
toc.xml,\
images/
diff --git a/plugins/org.eclipse.osee.coverage.help.ui/plugin.xml b/plugins/org.eclipse.osee.coverage.help.ui/plugin.xml
index c969fb4e99e..c957a022e89 100644
--- a/plugins/org.eclipse.osee.coverage.help.ui/plugin.xml
+++ b/plugins/org.eclipse.osee.coverage.help.ui/plugin.xml
@@ -9,30 +9,6 @@
file="toc.xml"
primary="true">
</toc>
- <toc
- file="userguide/OSEE Coverage Intro-toc.xml"
- primary="false">
- </toc>
- <toc
- file="userguide/OSEE Coverage Views-toc.xml"
- primary="false">
- </toc>
- <toc
- file="userguide/OSEE Coverage Usage-toc.xml"
- primary="false">
- </toc>
- <toc
- file="userguide/OSEE Coverage Tips-toc.xml"
- primary="false">
- </toc>
- <toc
- file="userguide/OSEE Coverage New-toc.xml"
- primary="false">
- </toc>
- <toc
- file="userguide/OSEE Update-toc.xml"
- primary="false">
- </toc>
</extension>
<extension
point="org.eclipse.ui.intro.configExtension">

Back to the top