Thu, 15 Jun 2023 13:06:09 +0200 Daniel Kiper <dki...@net-space.pl>: > Right now patch is in the git repo. If you want to improve that part of > doc please send a fix to grub-devel and CC interested folks.
Yeah, that is very unfortunate, because it breaks the build: https://lists.gnu.org/archive/html/bug-grub/2023-06/msg00006.html 5a3d2b4742dfe4bfe2b51f7b712bc107f75e84ed is the first bad commit For some reason there is no --disable-docs for configure? Olaf
pgp0esDXnERiS.pgp
Description: Digitale Signatur von OpenPGP
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel