Follow-up Comment #1, bug #65536 (group make): Hrm why don't I see this? Martin can you let me know what version of makeinfo you are using?
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?65536> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/