mirrors
/
freecol
mirror of https://github.com/FreeCol/freecol.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix crash in doco generation, from sinomaen.

This commit is contained in:
Mike Pope 2016-08-27 10:33:54 +09:30
parent eac67ea831
commit 9439bfc85d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.xml
View File

@ -845,7 +845,7 @@
<target name="generate-documentation" depends="build"
description="Creates HTML documentation from specification.">
<java classname="net.sf.freecol.tools.GenerateDocumentation"
classpath="build/" />
classpath="build/" fork="true"/>
</target>
<!-- Creates 'freecol.desktop' file. -->