> The following change tidies up `configure' so that an informative > error is sent to stdout instead of stderr. I often divert `configure' > output to /dev/null, where this output should go as well. > > Please commit if okay. Committed.