[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #8432] warn if multiple menus
|
From: |
Karl Berry |
|
Subject: |
[bug #8432] warn if multiple menus |
|
Date: |
Tue, 16 Mar 2010 23:13:54 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.8) Gecko/20100205 SeaMonkey/2.0.3 |
Follow-up Comment #2, bug #8432 (project texinfo):
right, we don't want to warn if not at end -- there are existing manuals
which do that, as i recall. warning if multiple menus is good. tx.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?8432>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/