From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 18806 invoked by alias); 3 Oct 2005 22:33:08 -0000 Mailing-List: contact gdb-patches-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sources.redhat.com Received: (qmail 18787 invoked by uid 22791); 3 Oct 2005 22:33:06 -0000 Received: from s142-179-108-108.bc.hsia.telus.net (HELO takamaka.act-europe.fr) (142.179.108.108) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Mon, 03 Oct 2005 22:33:06 +0000 Received: by takamaka.act-europe.fr (Postfix, from userid 507) id 109EE47E74; Mon, 3 Oct 2005 15:33:05 -0700 (PDT) Date: Mon, 03 Oct 2005 22:33:00 -0000 From: Joel Brobecker To: Eli Zaretskii Cc: gdb-patches@sources.redhat.com Subject: Re: [RFA/doco] Document set/show print array-indexes Message-ID: <20051003223305.GL8849@adacore.com> References: <20050926230806.GT922@adacore.com> <20050927040935.GA25156@adacore.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4i X-SW-Source: 2005-10/txt/msg00033.txt.bz2 > > 2005-09-26 Joel Brobecker > > > > * gdb.texinfo (Print Settings): Add documentation for set/show > > print array-indexes. > > > > Tested by building the HTML documentation and checking the result. > > Info documentation also built without any error. > > Fine with me, after you remove the extra @kindex. OK, patch checked in, with the kindex removed. Thanks, -- Joel