@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