diff options
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 |