Re: HTML format documentation

[Richard Stallman]

            CC=sun4-cc ./configure

    Hence, next time configure is run, it forgets about the CC which was
    used to build config.cache, and you get an inconsistent system.

    So configure needs the user to tell things instead of doing stuff in
    its back.  Hence

            ./configure CC=sun-cc

We need to ask: should we do this with VAR=VALUE, or should we use
--OPTION=VALUE for consistency?  Is there a reason to make things like
the compiler different from other things you can specify at configure
time?

Can anyone suggest a systematic criterion for deciding which data to
specify with options, and which with variables?