From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Eli Zaretskii" <eliz@gnu.org>
To: karl@freefriends.org (Karl Berry)
Cc: cagney@gnu.org, gdb-patches@sources.redhat.com
Subject: Re: @dircategory for gdb manuals
Date: Sat, 29 May 2004 11:16:00 -0000
Message-id: <2719-Sat29May2004131950+0300-eliz@gnu.org>
References: <200405281324.i4SDOeS10812@f7.net>
X-SW-Source: 2004-05/msg00779.html

> 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.