# HG changeset patch
# User pl
# Date 1010405841 0
# Node ID 73e9456341818570a8f95d25d54de6fc541939c7
# Parent  94602bcd13d0389342bc939b64a74d6d4f961f64
slightly changed end message:
 - hint on development packages
 - suggestion of reading DOC/bugreports.html

diff -r 94602bcd13d0 -r 73e945634181 configure
--- a/configure	Mon Jan 07 10:54:32 2002 +0000
+++ b/configure	Mon Jan 07 12:17:21 2002 +0000
@@ -3215,8 +3215,10 @@
 
 cat <<EOF
 
-If you cannot understand why a test failed please check $TMPLOG.
-If you believe it is a bug in configure, please report it.
+Check $TMPLOG if you wonder why an autodetection failed (check whether the
+development headers/packages are installed).
+
+If you suspect a bug, please read DOCS/bugreports.html.
 
 EOF