diff options
author | Peter Simons <simons@cryp.to> | 2009-09-19 00:12:42 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2009-09-19 00:12:42 +0200 |
commit | bf7e9ffefbe59d0a0027467533097213e74321cd (patch) | |
tree | 5dfca82c18b7bf79df909fdecbd46e1d8244cba4 /bootstrap.sh | |
parent | 1bb4774cd4be401ef65995c585a94be87a07820f (diff) | |
download | autoconf-archive-bf7e9ffefbe59d0a0027467533097213e74321cd.tar.gz |
bootstrap.sh: warn maintainers if the html tree is not present
Without it, ./configure won't work correctly because of the following code:
HTMLFILE=""
for n in ${srcdir}/html/*.* ; do
HTMLFILE="${HTMLFILE} ${n}"
done
AC_SUBST([HTMLFILE])
Arguably, this behavior is unsatisfactory, but I can't think of an ad hoc
solution that's better.
Diffstat (limited to 'bootstrap.sh')
-rwxr-xr-x | bootstrap.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 9d7c596..c3f8b46 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -22,3 +22,9 @@ echo TODO >AUTHORS build-aux/gitlog-to-changelog -- master >ChangeLog autoreconf --install -Wall + +if [ ! -d html ]; then + echo "" + echo " Remember to check out the HTML tree before running configure." + echo "" +fi |