|
 |
7786419 |
diff -up freecol/build.xml~ freecol/build.xml
|
|
|
e9ab4c0 |
--- freecol/build.xml~ 2014-10-22 20:15:04.000000000 +0200
|
|
|
e9ab4c0 |
+++ freecol/build.xml 2014-10-22 20:15:55.700734671 +0200
|
|
|
e9ab4c0 |
@@ -679,13 +679,13 @@
|
|
|
7786419 |
description="Creates the printable user guide.">
|
|
|
7786419 |
<delete file="doc/FreeCol.ind" />
|
|
|
7786419 |
<exec executable="pdflatex" dir="doc" >
|
|
|
7786419 |
- <arg file="doc/FreeCol.tex"/>
|
|
|
7786419 |
+ <arg value="FreeCol.tex"/>
|
|
|
7786419 |
</exec>
|
|
|
7786419 |
<exec executable="makeindex" dir="doc" >
|
|
|
7786419 |
- <arg file="doc/FreeCol.idx"/>
|
|
|
7786419 |
+ <arg value="FreeCol.idx"/>
|
|
|
7786419 |
</exec>
|
|
|
7786419 |
<exec executable="pdflatex" dir="doc" >
|
|
|
7786419 |
- <arg file="doc/FreeCol.tex"/>
|
|
|
7786419 |
+ <arg value="FreeCol.tex"/>
|
|
|
7786419 |
</exec>
|
|
|
e9ab4c0 |
<property name="print.manual.is.up.to.date" value="true" />
|
|
|
7786419 |
</target>
|
|
|
e9ab4c0 |
@@ -694,16 +694,16 @@
|
|
|
7786419 |
description="Creates the online user guide.">
|
|
|
7786419 |
<delete file="doc/FreeCol.ind" />
|
|
|
7786419 |
<exec executable="htlatex" dir="doc" >
|
|
|
7786419 |
- <arg file="doc/FreeCol.tex"/>
|
|
|
7786419 |
+ <arg value="FreeCol.tex"/>
|
|
|
7786419 |
</exec>
|
|
|
7786419 |
<exec executable="tex" dir="doc">
|
|
|
7786419 |
<arg line="\def\filename{{FreeCol}{idx}{4dx}{ind}} \input idxmake.4ht" />
|
|
|
7786419 |
</exec>
|
|
|
7786419 |
<exec executable="makeindex" dir="doc" >
|
|
|
7786419 |
- <arg file="doc/FreeCol.4dx"/>
|
|
|
7786419 |
+ <arg value="FreeCol.4dx"/>
|
|
|
7786419 |
</exec>
|
|
|
7786419 |
<exec executable="htlatex" dir="doc" >
|
|
|
7786419 |
- <arg file="doc/FreeCol.tex"/>
|
|
|
7786419 |
+ <arg value="FreeCol.tex"/>
|
|
|
7786419 |
</exec>
|
|
|
e9ab4c0 |
<property name="online.manual.is.up.to.date" value="true" />
|
|
|
7786419 |
</target>
|