| <?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 2.0 |
| which accompanies this distribution, and is available at |
| https://www.eclipse.org/legal/epl-2.0/ |
| |
| SPDX-License-Identifier: EPL-2.0 |
| |
| 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> |
| |
| <taskdef resource="org/eclipse/mylyn/wikitext/mediawiki/ant/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/5.1" title="EGit 5.1 New and Noteworthy" /> |
| <path name="JGit/New_and_Noteworthy/5.1" title="JGit 5.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> |