Added a sleep before running make dist

git-svn-id: http://svn.osgeo.org/postgis/trunk@1285 b70326c6-7e19-0410-871a-916f4a2858ee

diff --git a/make_dist.sh b/make_dist.sh
index 2a2b9e4695e5866e9d6d96814c5f7f1db32a55fa..070cfd5c509bb5f4349dd80ece4e359301044e79 100644 (file)
--- a/make_dist.sh
+++ b/make_dist.sh
@@ -39,6 +39,7 @@ rm -Rf $outdir/regress
 echo "Generating documentation"
 owd="$PWD"
 cd "$outdir"/doc
+sleep 2 # wait some time to have 'make' recognize it needs to build html
 make html
 if [ $? -gt 0 ]; then
        exit 1