All of lore.kernel.org
 help / color / mirror / Atom feed
* [PATCH 0/2] Fix documentation issues reported by Olaf
@ 2023-08-19  6:25 Glenn Washburn
  2023-08-19  6:25 ` [PATCH 1/2] docs: Use @pxref instead of @xref inside parenthesis Glenn Washburn
  2023-08-19  6:25 ` [PATCH 2/2] docs: Add menu to prevent older makeinfo versions from failing Glenn Washburn
  0 siblings, 2 replies; 6+ messages in thread
From: Glenn Washburn @ 2023-08-19  6:25 UTC (permalink / raw)
  To: grub-devel, Daniel Kiper, Olaf Hering; +Cc: 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


_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2023-08-21 19:54 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-08-19  6:25 [PATCH 0/2] Fix documentation issues reported by Olaf Glenn Washburn
2023-08-19  6:25 ` [PATCH 1/2] docs: Use @pxref instead of @xref inside parenthesis Glenn Washburn
2023-08-20  1:57   ` Oskari Pirhonen
2023-08-21 19:53     ` Glenn Washburn
2023-08-19  6:25 ` [PATCH 2/2] docs: Add menu to prevent older makeinfo versions from failing Glenn Washburn
2023-08-20  2:14   ` Oskari Pirhonen

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.