[RFC] libstdc++/6720 and libstdc++/6671

[Gabriel Dos Reis]

Phil Edwards <phil@jaj.com> writes:

| On Mon, May 20, 2002 at 02:34:52PM +0200, Paolo Carlini wrote:
| > In a nutshell, it looks like the idea of giving the ext/ extension 
| > headers the same name of the corresponding standard headers (e.g., 
| > <algorithm> => <ext/algorithm>) was not so good afer all :-(
| 
| Ah well, we live and we learn.  The only problems I'd noted so far were
| with doxygen; it doesn't seem to do "maximal munch" when parsing header
| file names.

I don't think the naming <ext/xxx> is the problem.  We should cure the
problem, not the symptoms :-)

I describe the problem in an earlier message.  I just sent a message
on gcc-gnats outlining (briefly) how we should map standard headers
into files.

-- Gaby