1 <?xml version="1.0" encoding="UTF-8"?>
2 <project name="org.eclipse.egit.doc" basedir="." default="all">
4 Copyright (c) 2010 Chris Aniszczyk and others.
5 Copyright (c) 2010,2013 Matthias Sohn <matthias.sohn@sap.com>
6 All rights reserved. This program and the accompanying materials
7 are made available under the terms of the Eclipse Public License 2.0
8 which accompanies this distribution, and is available at
9 https://www.eclipse.org/legal/epl-2.0/
11 SPDX-License-Identifier: EPL-2.0
14 Chris Aniszczyk - initial API and implementation
15 Matthias Sohn - maven integration, update to wikitext 1.3, adding additional wikis
18 Generate Eclipse help content for the EGit user guide
21 <taskdef resource="org/eclipse/mylyn/wikitext/mediawiki/ant/tasks.properties"/>
23 <property name="egit.help.doc.url.base" value="https://wiki.eclipse.org" />
25 <target name="all" description="Generate Eclipse help content for the EGit documentation">
27 <delete failonerror="false">
28 <fileset dir="${basedir}/help/images" />
31 <mediawiki-to-eclipse-help
32 dest="${basedir}/help"
33 wikiBaseUrl="${egit.help.doc.url.base}"
34 defaultAbsoluteLinkTarget="egit_external"
37 generateUnifiedToc="true"
39 navigationImages="true"
40 prependImagePrefix="images"
41 title="EGit Documentation"
43 failOnValidationError="true"
46 <path name="EGit/User_Guide" title="EGit User Guide" />
47 <path name="JGit/User_Guide" title="JGit User Guide" />
48 <path name="EGit/New_and_Noteworthy/6.7" title="EGit 6.7 New and Noteworthy" />
49 <path name="JGit/New_and_Noteworthy/6.7" title="JGit 6.7 New and Noteworthy" />
50 <path name="EGit/Git_For_Eclipse_Users" title="Git for Eclipse Users" />
51 <path name="EGit/Contributor_Guide" title="EGit Contributor Guide" />
52 <stylesheet url="book.css" />
55 = Updating This Document =
57 This document is maintained in a collaborative wiki. If you wish to
58 update or modify this document please visit
60 </mediawiki-to-eclipse-help>
61 <mkdir dir="help/images" />
62 <copy todir="${basedir}/help/images" overwrite="true">
63 <fileset dir="images" />