Re: CC=cc ./configure or ./configure CC=cc

[Ralf Wildenhues]

* Karl Berry wrote on Fri, Aug 11, 2006 at 12:51:10AM CEST:
> 
>     1) First, the order of subsections output in GCS is inconsistent between
>     the DVI and the info output (this does not happen with sections as in
>     the GNU make manual, but only with the section-lowering as done for the
>     GCS; makeinfo bug lingering here?).
> 
> Sorry, I don't understand.  What is wrong?  Just the order in the @menu?

Yes.  (I understand that this part is just formatting, so I won't put it
in the patch to go by RMS, which I will prepare in another mail.)

> Puzzling.

Well, seems you moved one of the sections at one time, but simply did
not update the menu.  The funny thing about it is how it affects the
different output formats slightly differently.

>     2) While at it, fix the text reference to say section/subsection/node
>     correctly (for both GCS and the GNU make manual).
> 
> I prefer not to be pedantic about this.

Ok, dropped.

>     3) There is a content error in the DESTDIR node: it does not work to
>     specify DESTDIR at configure time, 
> 
> Ok, good.

So this will go in the other mail as well.

>     4) OK to apply this trivial dependency omission to gnulib?
> 
> Well, the standards documents are not built in gnulib, they come from
> the gnustandards savannah project and I propagate them to gnulib.

Well, the file gnulib/doc/Makefile merely exists for convenience.

> However, if the dependency helps you in preparing such changes (which I
> can see), I certainly have no objection to it.  Doesn't hurt anything.

I've applied it.

> Anyway, regardless, I'm sure you-all have a good reason for the move,
> so, can you make a single revised patch, with Bruno's additional fixes,
> for me to convey?

This will (also) be in another mail, including rationale.

Cheers,
Ralf