diff options
author | Marius Bakke <marius@gnu.org> | 2021-10-12 19:24:50 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2021-10-12 21:49:44 +0200 |
commit | 702bc2b89939165a3dc61096c21bb8b670a94713 (patch) | |
tree | 6ae813331184ae026a0139e6f1aca951d08e81b5 /gnu/packages/patches/qemu-sphinx-compat.patch | |
parent | 0b5e128750ed40d4348f2eb49d328b81dba9181a (diff) |
gnu: QEMU: Remove obsolete patch.
* gnu/packages/virtualization.scm (qemu)[source](patches): Remove Sphinx
compatibility patch, which worked around a bug in Sphinx that has since been
fixed.
* gnu/packages/patches/qemu-sphinx-compat.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
Diffstat (limited to 'gnu/packages/patches/qemu-sphinx-compat.patch')
-rw-r--r-- | gnu/packages/patches/qemu-sphinx-compat.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gnu/packages/patches/qemu-sphinx-compat.patch b/gnu/packages/patches/qemu-sphinx-compat.patch deleted file mode 100644 index 7342ebee4e..0000000000 --- a/gnu/packages/patches/qemu-sphinx-compat.patch +++ /dev/null @@ -1,18 +0,0 @@ -Prevent Sphinx 4 and later from creating subdirectories, which -the build scripts are not equipped to deal with. - -Taken from upstream: -https://gitlab.com/qemu-project/qemu/-/issues/256 -https://gitlab.com/qemu-project/qemu/-/commit/269a7e97865cb863c9ca19e5f2e6a40ac9eddf82 - -diff --git a/docs/conf.py b/docs/conf.py ---- a/docs/conf.py -+++ b/docs/conf.py -@@ -279,6 +279,7 @@ - ['Stefan Hajnoczi <stefanha@redhat.com>', - 'Masayoshi Mizuma <m.mizuma@jp.fujitsu.com>'], 1), - ] -+man_make_section_directory = False - - # -- Options for Texinfo output ------------------------------------------- - |