blob: 2e889e1da3947a60eb1ca2603395999e1646c4fe (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
<?xml version="1.0" encoding="UTF-8"?>
<project name="org.eclipse.egit.doc" basedir="." default="all">
<!--
Copyright (c) 2010 Chris Aniszczyk and others.
Copyright (c) 2010,2013 Matthias Sohn <matthias.sohn@sap.com>
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html
Contributors:
Chris Aniszczyk - initial API and implementation
Matthias Sohn - maven integration, update to wikitext 1.3, adding additional wikis
-->
<description>
Generate Eclipse help content for the EGit user guide
</description>
<path id="wikitext.tasks.classpath">
<pathelement path="${compile_classpath}"/>
</path>
<echo message="compile classpath: ${compile_classpath}"/>
<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"/>
<property name="egit.help.doc.url.base" value="http://wiki.eclipse.org" />
<target name="all" description="Generate Eclipse help content for the EGit documentation">
<sequential>
<delete failonerror="false">
<fileset dir="${basedir}/help/images" />
</delete>
<mediawiki-to-eclipse-help
dest="${basedir}/help"
wikiBaseUrl="${egit.help.doc.url.base}"
defaultAbsoluteLinkTarget="egit_external"
fetchImages="true"
formatOutput="true"
generateUnifiedToc="true"
helpPrefix="help"
navigationImages="true"
prependImagePrefix="images"
title="EGit Documentation"
validate="true"
failOnValidationError="true"
>
<path name="EGit/User_Guide" title="EGit User Guide" />
<path name="JGit/User_Guide" title="JGit User Guide" />
<path name="EGit/New_and_Noteworthy/4.1" title="EGit 4.1 New and Noteworthy" />
<path name="JGit/New_and_Noteworthy/4.1" title="JGit 4.1 New and Noteworthy" />
<path name="EGit/Git_For_Eclipse_Users" title="Git for Eclipse Users" />
<path name="EGit/Contributor_Guide" title="EGit Contributor Guide" />
<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="help/images" />
<copy todir="${basedir}/help/images" overwrite="true">
<fileset dir="images" />
</copy>
</sequential>
</target>
</project>
|
