On Tue, Aug 22, 2023 at 13:26:27 -0500, Glenn Washburn wrote: > Updates from v1: > * Use @ref instead of @pxref as suggested by Oskari > > Olaf, would you see if this updated patch series fixes your issues? > > Glenn > > Glenn Washburn (2): > docs: Use @ref instead of @xref > docs: Add menu to prevent older makeinfo versions from failing >
Both patches LGTM at least. Reviewed-by: Oskari Pirhonen <xxc3ncore...@gmail.com> - Oskari
signature.asc
Description: PGP signature
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
