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/
