Extensionless headers

[Phil Edwards]

Gabriel Dos Reis wrote:
> That was already broken.

Yes.  Sorry, bad choice of verb tense on my part.  My patch fixes this.


> |  - If the user happens to be editing a copy of an extensionless header
> |  in a particular build dir
> 
> Under which conditions?

This was Nathan's original complaint after Benjamin renamed the headers.

    http://gcc.gnu.org/ml/libstdc++/2002-01/msg00043.html

I (personally) don't think we actually need to worry about this as much.
/If/ it is in fact a problem, then the problem is only with extensionless
files.  By using an extension, we avoid the problem altogether.


Phil