pullup:

Mention the need to run "make distclean" prior to re-configuring.

diff --git a/README b/README
index 035cc44fe0f1ab544e3839e0c646e44867d09ca7..c7201958fb21bff0809d5cca4a53281a206cd26f 100644 (file)
--- a/README
+++ b/README
@@ -242,6 +242,9 @@ Building
        should also "make depend".  If you're using Emacs, you might find
        "make tags" helpful.
 
+       If you need to re-run configure please run "make distclean" first.
+       This will ensure that all the option changes take.
+
        Building with gcc is not supported, unless gcc is the vendor's usual
        compiler (e.g. the various BSD systems, Linux).