Olaf, would you see if these do indeed fix your issues? Glenn
Glenn Washburn (2): docs: Use @pxref instead of @xref inside parenthesis docs: Add menu to prevent older makeinfo versions from failing docs/grub-dev.texi | 5 +++++ docs/grub.texi | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) -- 2.34.1 _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
