This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
Re: Extensionless headers
- From: Benjamin Kosnik <bkoz at redhat dot com>
- To: Jason Merrill <jason at redhat dot com>
- Cc: libstdc++ at gcc dot gnu dot org
- Date: Thu, 10 Jan 2002 11:40:46 -0800 (PST)
- Subject: Re: Extensionless headers
> The extension typically indicates the type of a file. Among the
> development tools that use this information are Make and editors.
> Extensions also allow me to use a wildcard to select files of a certain
> type; I generally do a 'grep something *.h' in gcc several times a day.
> Removing the extension breaks all of these uses. There are workarounds,
> but why bother? Why not just keep the extension?
Thanks for the summary.
I'm assuming what you say applies to both ext/ and std/ headers, correct?
I would like to try and have some consistency, if at all possible.
-benjamin