> I certainly agree we should use configure for what it's designed to do,
> namely make intelligent configuration settings. I'm just saying that
> it is better style to record each configuration choice in only one place
> (or at least, as few places as possible) rather than make a bunch of
> copies in a bunch of not-easily-found files.
No. There's one file, if the configure script is right...
./config.cache
:)
Taral