From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-40109-listarch-gdb-patches=sources.redhat.com@sources.redhat.com>
Received: (qmail 20968 invoked by alias); 22 Jun 2005 03:25:26 -0000
Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm
Precedence: bulk
List-Subscribe: <mailto:gdb-patches-subscribe@sources.redhat.com>
List-Archive: <http://sources.redhat.com/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sources.redhat.com>
List-Help: <mailto:gdb-patches-help@sources.redhat.com>, <http://sources.redhat.com/ml/#faqs>
Sender: gdb-patches-owner@sources.redhat.com
Received: (qmail 20883 invoked by uid 22791); 22 Jun 2005 03:25:22 -0000
Received: from legolas.inter.net.il (HELO legolas.inter.net.il) (192.114.186.24)
    by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Wed, 22 Jun 2005 03:25:22 +0000
Received: from HOME-C4E4A596F7 (IGLD-80-230-39-219.inter.net.il [80.230.39.219])
	by legolas.inter.net.il (MOS 3.5.8-GR)
	with ESMTP id ERI50982 (AUTH halo1);
	Wed, 22 Jun 2005 06:25:15 +0300 (IDT)
Date: Wed, 22 Jun 2005 03:25:00 -0000
Message-Id: <u7jgnyq54.fsf@gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: Nick Roberts <nickrob@snap.net.nz>
CC: gdb-patches@sources.redhat.com
In-reply-to: <17080.42841.160763.150088@farnswood.snap.net.nz> (message from
	Nick Roberts on Wed, 22 Jun 2005 11:48:41 +1200)
Subject: Re: [PATCH] Removal of markup annotations
Reply-to: Eli Zaretskii <eliz@gnu.org>
References: <17071.40307.949193.158796@farnswood.snap.net.nz>
	<uaclr337d.fsf@gnu.org>
	<17078.44751.122166.148138@farnswood.snap.net.nz>
	<uhdfszsaf.fsf@gnu.org>
	<17079.14802.440872.208976@farnswood.snap.net.nz>
	<ud5qgz5h5.fsf@gnu.org>
	<17079.49877.427388.19313@farnswood.snap.net.nz>
	<uacljzbgq.fsf@gnu.org>
	<17080.42841.160763.150088@farnswood.snap.net.nz>
X-SW-Source: 2005-06/txt/msg00342.txt.bz2

> From: Nick Roberts <nickrob@snap.net.nz>
> Date: Wed, 22 Jun 2005 11:48:41 +1200
> Cc: gdb-patches@sources.redhat.com
> 
> 2005-06-22  Nick Roberts  <nickrob@snap.net.nz>
> 
> 	* gdb.texinfo (History) Rename "Command History".
> 	(Command History): Move node "Server Prefix" from section on
> 	Annotations here.

Fine with me, but please add indexing, so that this information could
be found quickly and efficiently.  At the very least, "@cindex
@code{server}, command prefix" should be there, and possibly also
something else, like perhaps "@cindex hide commands from history" or
some such (think about a user who'd wish to find the description of
the feature without knowing its exact name).