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/internal/wikitext/mediawiki/core/tasks/tasks.properties"/>
24 <taskdef classpathref="wikitext.tasks.classpath" resource="org/eclipse/mylyn/wikitext/core/util/anttask/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 wikiBaseUrl="${egit.help.doc.url.base}"
35 validate="true" failonvalidationerror="true" prependImagePrefix="images"
36 formatoutput="true" defaultAbsoluteLinkTarget="egit_external" dest="${basedir}/help"
37 navigationimages="true" title="EGit Documentation" helpPrefix="help"
38 generateUnifiedToc="true">
39 <path name="EGit/User_Guide" title="EGit User Guide" />
40 <path name="JGit/User_Guide" title="JGit User Guide" />
41 <path name="EGit/New_and_Noteworthy/3.1" title="EGit 3.1 New and Noteworthy" />
42 <path name="JGit/New_and_Noteworthy/3.1" title="JGit 3.1 New and Noteworthy" />
43 <path name="EGit/Git_For_Eclipse_Users" title="Git for Eclipse Users" />
44 <stylesheet url="book.css" />
47 = Updating This Document =
49 This document is maintained in a collaborative wiki. If you wish to
50 update or modify this document please visit
52 </mediawiki-to-eclipse-help>
53 <mkdir dir="help/images" />
54 <copy todir="${basedir}/help/images" overwrite="true">
55 <fileset dir="images" />