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.

2 files changed, 13 insertions, 0 deletions

diff --git a/TODO b/TODO
index c42e778..d1283c3 100644
--- a/TODO
+++ b/TODO
@@ -71,3 +71,10 @@
   avoid that error.
 
 * TODO Link to http://www.flameeyes.eu/autotools-mythbuster/
+
+* TODO Don't use shell globs to configure the list of available macros
+
+  The [[configure.ac][configure]] script globs m4/*.m4 to determine the list of available macros.
+  This mechanism is pretty fragile. Since the exact list is known at the time
+  we compile the release archive, that information should be inserted in the
+  script statically. But how?
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