[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v3] docs: Add debugging chapter to development documentation
|
From: |
Glenn Washburn |
|
Subject: |
Re: [PATCH v3] docs: Add debugging chapter to development documentation |
|
Date: |
Tue, 15 Aug 2023 12:31:29 -0500 |
On Tue, 15 Aug 2023 10:14:07 +0200
Olaf Hering <olaf@aepfle.de> wrote:
> Thu, 15 Jun 2023 13:06:09 +0200 Daniel Kiper <dkiper@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