From: Sandro Santilli <strk@keybit.net>
Date: Wed, 12 Jan 2005 09:23:43 +0000 (+0000)
Subject: Added a sleep before running make dist
X-Git-Tag: pgis_1_0_0RC1~19
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a08e065e1512472b48efcdefe74c58fb04a19872;p=postgis

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 2a2b9e469..070cfd5c5 100644
--- 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