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 | |
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.
-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" |