diff -up freecol/build.xml~ freecol/build.xml
--- freecol/build.xml~	2013-07-30 23:13:41.114938349 +0200
+++ freecol/build.xml	2013-07-30 22:57:39.854750981 +0200
@@ -661,13 +661,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>
     </target>
 
@@ -675,16 +675,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>
     </target>