On Tue, 15 Aug 2023 10:14:07 +0200 Olaf Hering <o...@aepfle.de> wrote:
> 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? I'm not seeing this issue when building on Debian 11. I'm successfully building the info, html, and pdf documentation from the texi files using debians texinfo package at version 6.7.0.dfsg.2-6. Are you sure you are building from clean sources? What version of texinfo are you at? Glenn _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel