diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-04-06 16:31:16 -0400 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-04-06 16:56:08 -0400 |
commit | 8515a506ca71ae5e3709930754d6df77614ffb71 (patch) | |
tree | fc434a63f99ae3610f136f1e149a3bdfe5eb6e46 /TODO | |
parent | 41d0b233bac19a2ce0289bf2279a1e7f831b8aee (diff) | |
download | guix-patches-8515a506ca71ae5e3709930754d6df77614ffb71.tar guix-patches-8515a506ca71ae5e3709930754d6df77614ffb71.tar.gz |
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.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions