diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-02 17:34:59 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-02 17:34:59 +0000 |
| commit | ec5c988d614c8e6a7cf0189a2b60eff99c8baf59 (patch) | |
| tree | 50976599ea00ef9fce5a4774151dbb5218ff6f5d /build.xml | |
| parent | 66bf262e0154a98acd9f06f01585c6be951b087e (diff) | |
| download | scala-ec5c988d614c8e6a7cf0189a2b60eff99c8baf59.tar.gz scala-ec5c988d614c8e6a7cf0189a2b60eff99c8baf59.tar.bz2 scala-ec5c988d614c8e6a7cf0189a2b60eff99c8baf59.zip | |
Bug correction: When the docs.skip flag was use...
Bug correction: When the docs.skip flag was used, distrib was broken.
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -307,6 +307,8 @@ <condition property="os.win"> <os family="windows"/> </condition> + <!-- This is a hack that compensates for the possibility of doc generation to be skipped. --> + <mkdir dir="${build.dir}/doc"/> </target> <target name="distrib" depends="distrib.unix, distrib.win" |