On Thu, 8 Dec 2022 at 06:55, Stefan Weil wrote:
>
> Am 12.01.21 um 17:57 schrieb Peter Maydell:
> [...]
> > diff --git a/docs/meson.build b/docs/meson.build
> > + sphinxdocs += this_manual
> > + install_subdir(output_dir, install_dir: qemu_docdir, strip_directory:
> > true)
>
> This line
Am 12.01.21 um 17:57 schrieb Peter Maydell:
[...]
diff --git a/docs/meson.build b/docs/meson.build
index fae9849b79b..bb14eaebd3b 100644
--- a/docs/meson.build
+++ b/docs/meson.build
@@ -46,19 +46,11 @@ if build_docs
meson.source_root() / 'docs/sphinx/qmp_lexer.py',
When we first converted our documentation to Sphinx, we split it into
multiple manuals (system, interop, tools, etc), which are all built
separately. The primary driver for this was wanting to be able to
avoid shipping the 'devel' manual to end-users. However, this is
working against the grain
