ext/ names (was: re:[PATCH] HP/SGI extensions to...)

[Gabriel Dos Reis]

Phil Edwards <pedwards@disaster.jaj.com> writes:

| On Thu, Jan 03, 2002 at 03:53:25PM -0800, Benjamin Kosnik wrote:
| > 
| > > > How about ext/rb_tree.h, then?
| > > 
| > > I don't particularly mind one way or another.
| > 
| > I don't either. However, let's be consistent, and have all the 
| > user-include-able ext headers either have a suffix or not.
| 
| So far we have one vote for suffixes, none against, and two "enh, whatever"s.
| 
| Sometime tomorrow we'll be renaming the user-include-able ext headers with
| .h, then.  And then I need to come up with doxygen hooks.

[ Sorry for the late input ]

I'm not a big fan of confusing users, so for consistency, I vote for
extensionless headers.  The standard library never has been an example
for users to follow.

-- Gaby