grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 2/2] docs: Add menu to prevent older makeinfo versions from f


From: Oskari Pirhonen
Subject: Re: [PATCH 2/2] docs: Add menu to prevent older makeinfo versions from failing
Date: Sat, 19 Aug 2023 21:14:52 -0500

On Sat, Aug 19, 2023 at 01:25:17 -0500, Glenn Washburn wrote:
> It has been reported that makeinfo version 4.13a complains and returns
> error when menus for chapter structuring commands are not present. It
> is also known that newer makeinfos, such as version 6.7, will create
> default menus when needed. Since the menu will be created regardless,
> explicitly create it to support older makeinfo versions. This also
> enables building to be successful when an older makeinfo is installed
> because in that case info files are attempted to be generated with the
> "all" target.
> 
> Reported-by: Olaf Hering <olaf@aepfle.de>
> Signed-off-by: Glenn Washburn <development@efficientek.com>

Reviewed-by: Oskari Pirhonen <xxc3ncoredxx@gmail.com>

- Oskari

Attachment: signature.asc
Description: PGP signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]