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