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 v1.0
8 which accompanies this distribution, and is available at
9 http://www.eclipse.org/legal/epl-v10.html
12 Chris Aniszczyk - initial API and implementation
13 Matthias Sohn - maven integration, update to wikitext 1.3, adding additional wikis
16 Generate Eclipse help content for the EGit user guide
19 <path id="wikitext.tasks.classpath">
20 <pathelement path="${compile_classpath}"/>
22 <echo message="compile classpath: ${compile_classpath}"/>
23 <taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/wikitext/mediawiki/core/ant/tasks.properties"/>
24 <taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/wikitext/core/ant/tasks.properties"/>
26 <property name="egit.help.doc.url.base" value="http://wiki.eclipse.org" />
28 <target name="all" description="Generate Eclipse help content for the EGit documentation">
30 <delete failonerror="false">
31 <fileset dir="${basedir}/help/images" />
34 <mediawiki-to-eclipse-help
35 dest="${basedir}/help"
36 wikiBaseUrl="${egit.help.doc.url.base}"
37 defaultAbsoluteLinkTarget="egit_external"
40 generateUnifiedToc="true"
42 navigationImages="true"
43 prependImagePrefix="images"
44 title="EGit Documentation"
46 failOnValidationError="true"
48 <path name="EGit/User_Guide" title="EGit User Guide" />
49 <path name="JGit/User_Guide" title="JGit User Guide" />
50 <path name="EGit/New_and_Noteworthy/4.8" title="EGit 4.8 New and Noteworthy" />
51 <path name="JGit/New_and_Noteworthy/4.8" title="JGit 4.8 New and Noteworthy" />
52 <path name="EGit/Git_For_Eclipse_Users" title="Git for Eclipse Users" />
53 <path name="EGit/Contributor_Guide" title="EGit Contributor Guide" />
54 <stylesheet url="book.css" />
57 = Updating This Document =
59 This document is maintained in a collaborative wiki. If you wish to
60 update or modify this document please visit
62 </mediawiki-to-eclipse-help>
63 <mkdir dir="help/images" />
64 <copy todir="${basedir}/help/images" overwrite="true">
65 <fileset dir="images" />