gnu: qemu: Fix the Texinfo manual.

The makeinfo command splits the generated info output in multiple files (in
300 KiB chunks) by default; this meant the build system would have had to
install the multiple QEMU.info-1, QEMU.info-2, etc. files for the info manual
to work as intended.  Instead, keep the info manual as one single file by
specifying the --no-split option to makeinfo.

* gnu/packages/patches/qemu-build-info-manual.patch (sphinxinfo)
<makeinfo>: Invoke with the --no-split argument.
This commit is contained in:
Maxim Cournoyer 2021-04-06 16:31:16 -04:00
parent 41d0b233ba
commit 8515a506ca
No known key found for this signature in database
GPG Key ID: 1260E46482E63562
1 changed files with 1 additions and 1 deletions

View File

@ -90,7 +90,7 @@ index ebd85d59f9..1243839461 100644
+ output: 'QEMU.info',
+ install: true,
+ install_dir: get_option('infodir'),
+ command: [makeinfo, '@INPUT0@', '--output=@OUTPUT@'])
+ command: [makeinfo, '--no-split', '@INPUT0@', '--output=@OUTPUT@'])
+ alias_target('texi', sphinxtexi)
+ alias_target('info', sphinxinfo)
+ endif