Re: further changes - request for comments

[BALATON Zoltan]

Hello,

On Thu, 31 Jul 2003, Nicola Pero wrote:
>  * installing all headers in Headers/ix86-linux-gnu/gnu-gnu-gnu/xxx which
> matches the Libraries/ix86-linux-gnu/gnu-gnu-gnu/xxx directory, and means
> you don't need to install cpu/os specific headers in a separate directory.

Do you really mean all headers? It seems to be unnecessary as most headers
are (or supposed to be) platform independent. After this change would be
the same set of headers installed in different directories for each
platform in a non-flattened installation? This is ugly. Isn't there a
better way to keep non platform specific headers installed only once?

Regards,
BALATON Zoltan