[PATCH 0/2] Fix documentation issues reported by Olaf

[Glenn Washburn]

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