org.eclipse.egit.doc/build-help.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <project name="org.eclipse.egit.doc" basedir="." default="all">
   3 <!--
   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/
  10
  11     SPDX-License-Identifier: EPL-2.0
  12
  13     Contributors:
  14          Chris Aniszczyk - initial API and implementation
  15          Matthias Sohn - maven integration, update to wikitext 1.3, adding additional wikis
  16 -->
  17         <description>
  18                 Generate Eclipse help content for the EGit user guide
  19         </description>
  20
  21         <taskdef resource="org/eclipse/mylyn/wikitext/mediawiki/ant/tasks.properties"/>
  22
  23         <property name="egit.help.doc.url.base" value="http://wiki.eclipse.org" />
  24
  25         <target name="all" description="Generate Eclipse help content for the EGit documentation">
  26                 <sequential>
  27                         <delete failonerror="false">
  28                                 <fileset dir="${basedir}/help/images" />
  29                         </delete>
  30
  31                         <mediawiki-to-eclipse-help
  32                                 dest="${basedir}/help"
  33                 wikiBaseUrl="${egit.help.doc.url.base}"
  34                                 defaultAbsoluteLinkTarget="egit_external"
  35                 fetchImages="true"
  36                                 formatOutput="true"
  37                                 generateUnifiedToc="true"
  38                                 helpPrefix="help"
  39                                 navigationImages="true"
  40                                 prependImagePrefix="images"
  41                                 title="EGit Documentation"
  42                                 validate="true"
  43                                 failOnValidationError="true"
  44                         >
  45                                 <path name="EGit/User_Guide" title="EGit User Guide" />
  46                                 <path name="JGit/User_Guide" title="JGit User Guide" />
  47                                 <path name="EGit/New_and_Noteworthy/5.0" title="EGit 5.0 New and Noteworthy" />
  48                                 <path name="JGit/New_and_Noteworthy/5.0" title="JGit 5.0 New and Noteworthy" />
  49                                 <path name="EGit/Git_For_Eclipse_Users" title="Git for Eclipse Users" />
  50                                 <path name="EGit/Contributor_Guide" title="EGit Contributor Guide" />
  51                                 <stylesheet url="book.css" />
  52                                 <pageAppendum>
  53
  54                                         = Updating This Document =
  55
  56                                         This document is maintained in a collaborative wiki. If you wish to
  57                                         update or modify this document please visit
  58                                         {url}</pageAppendum>
  59                         </mediawiki-to-eclipse-help>
  60                         <mkdir dir="help/images" />
  61                         <copy todir="${basedir}/help/images" overwrite="true">
  62                                 <fileset dir="images" />
  63                         </copy>
  64                 </sequential>
  65         </target>
  66 </project>