From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-89304-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 15532 invoked by alias); 27 Mar 2012 20:40:41 -0000
Received: (qmail 15521 invoked by uid 22791); 27 Mar 2012 20:40:40 -0000
X-SWARE-Spam-Status: No, hits=-6.9 required=5.0	tests=BAYES_00,RCVD_IN_DNSWL_HI,T_RP_MATCHES_RCVD
X-Spam-Check-By: sourceware.org
Received: from fencepost.gnu.org (HELO fencepost.gnu.org) (208.118.235.10)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 27 Mar 2012 20:40:21 +0000
Received: from eliz by fencepost.gnu.org with local (Exim 4.71)	(envelope-from <eliz@gnu.org>)	id 1SCdBj-0005tb-85; Tue, 27 Mar 2012 16:40:19 -0400
Date: Tue, 27 Mar 2012 20:40:00 -0000
Message-Id: <E1SCdBj-0005tb-85@fencepost.gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: Jan Kratochvil <jan.kratochvil@redhat.com>
CC: gdb-patches@sourceware.org
In-reply-to: <20120327203321.GA28113@host2.jankratochvil.net> (message from	Jan Kratochvil on Tue, 27 Mar 2012 22:33:21 +0200)
Subject: Re: [doc patch] Move @menu to end of @node (Auto-loading)
Reply-to: Eli Zaretskii <eliz@gnu.org>
References: <20120327203321.GA28113@host2.jankratochvil.net>
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2012-03/txt/msg00926.txt.bz2

> Date: Tue, 27 Mar 2012 22:33:21 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> 
> info '(texinfo)Menu Location'
> 
> # A menu must be located at the end of a node, without any regular text
> # or additional commands between the `@end menu' and the beginning of the
> # next node.  (As a consequence, there may be at most one menu in a node.)
> # 
> #   This is actually a useful restriction, since a reader who uses the
> # menu could easily miss any such text.  Technically, it is necessary
> # because in Info format, there is no marker for the end of a menu, so
> # Info-reading programs would have no way to know when the menu ends and
> # normal text resumes.
> 
> This is violated at multiple places in gdb.texinfo.  But I see no problem from
> that, info command displays it properly, also tested PDF (no menus) and HTML
> (working menus).
> 
> So maybe I can just drop this patch, the menu looks better in the first part.

It is better to be compliant, so please do commit this.

Thanks.