*** empty log message ***

diff --git a/configure b/configure
index 1439b64395b8258b568e18bd8159857d97e643ef..addf17a4d8ccec8b685bdf20b5700351b39ad279 100755 (executable)
--- a/configure
+++ b/configure
@@ -14560,3 +14560,14 @@ fi
 echo "*** Optionally check src/feature.h for further, rarely used options ***"
 echo
 
+echo ".----------------------------------------------------------------."
+echo ". NOTE: some features are disabled by default, try               ."
+echo ". configure --help to get an idea of the optional features,      ."
+echo ". or read ./README.configure                                     ."
+echo ".                                                                ."
+echo ". The script ./reconf gives a reasonable baseline, try it if     ."
+echo ". you do not want to read documentation and still want some      ."
+echo ". useful features.                                               ."
+echo ".----------------------------------------------------------------."
+echo
+