@dircategory for gdb manuals

Eli Zaretskii eliz@gnu.org
Sat May 29 11:16:00 GMT 2004


> Date: Fri, 28 May 2004 09:24:40 -0400
> From: karl@freefriends.org (Karl Berry)
> 
> Anyway, of course you're the maintainers, it's your decision.  I was
> just trying to make the dir file a little cleaner, and rms asked me to
> use the FSD categories, so I sent off patches doing that.  Do with it
> what you will.

Andrew, I guess it's your call.

To clarify, I would put both stabs and gdbint in the same section as
the GDB user manual.



More information about the Gdb-patches mailing list