From a08e065e1512472b48efcdefe74c58fb04a19872 Mon Sep 17 00:00:00 2001
From: Sandro Santilli <strk@keybit.net>
Date: Wed, 12 Jan 2005 09:23:43 +0000
Subject: [PATCH] Added a sleep before running make dist

git-svn-id: http://svn.osgeo.org/postgis/trunk@1285 b70326c6-7e19-0410-871a-916f4a2858ee
---
 make_dist.sh | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.40.0