Follow-up Comment #1, bug #36340 (project grub): No such problem here. What's your texinfo version? makeinfo (GNU texinfo) 4.13
Copyright (C) 2008 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?36340> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-grub
