]> git.ipfire.org Git - thirdparty/grub.git/commit
docs: Add menu to prevent older makeinfo versions from failing
authorGlenn Washburn <development@efficientek.com>
Tue, 22 Aug 2023 18:26:29 +0000 (13:26 -0500)
committerDaniel Kiper <daniel.kiper@oracle.com>
Thu, 31 Aug 2023 15:16:32 +0000 (17:16 +0200)
commitac8ae924ca024b4b56555e8fc032ba02dc27383b
tree7ed438fe5962edf273493622a792f71066d751e4
parent3c42272105ad307bfe6eeaacc4ee9d98be00537f
docs: Add menu to prevent older makeinfo versions from failing

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: Daniel Kiper <daniel.kiper@oracle.com>
Tested-by: Olaf Hering <olaf@aepfle.de>
docs/grub-dev.texi