From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andrew Cagney <cagney@gnu.org>
To: Eli Zaretskii <eliz@gnu.org>
Cc: Karl Berry <karl@freefriends.org>, gdb-patches@sources.redhat.com
Subject: Re: @dircategory for gdb manuals
Date: Mon, 31 May 2004 19:21:00 -0000
Message-id: <40BB85CE.3040904@gnu.org>
References: <200405281324.i4SDOeS10812@f7.net> <2719-Sat29May2004131950+0300-eliz@gnu.org>
X-SW-Source: 2004-05/msg00792.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.
Hmm,  Eli, you're the maintainer for GDB's doco :-)

To clarify, I would put both stabs and gdbint in the same section as
the GDB user manual.
So, which section should they go in?

Andrew