091479301f
The final addition to the set of QEMU manuals is the user-mode emulation manual, which right now is included in qemu-doc.texi. Extract it and convert it to rST, so that qemu-doc.texi covers only full system emulation. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Reviewed-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Alex Bennée <alex.bennee@linaro.org> Tested-by: Alex Bennée <alex.bennee@linaro.org> Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Message-id: 20200228153619.9906-2-peter.maydell@linaro.org Message-id: 20200226113034.6741-2-pbonzini@redhat.com [PMM: Fix makefile conflicts; add user manual to index.rst and index.html.in; don't specify empty man_pages list; fixed a few comments to say 'user' rather than 'system'] Reviewed-by: Peter Maydell <peter.maydell@linaro.org> Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
16 lines
545 B
Python
16 lines
545 B
Python
# -*- coding: utf-8 -*-
|
|
#
|
|
# QEMU documentation build configuration file for the 'user' manual.
|
|
#
|
|
# This includes the top level conf file and then makes any necessary tweaks.
|
|
import sys
|
|
import os
|
|
|
|
qemu_docdir = os.path.abspath("..")
|
|
parent_config = os.path.join(qemu_docdir, "conf.py")
|
|
exec(compile(open(parent_config, "rb").read(), parent_config, 'exec'))
|
|
|
|
# This slightly misuses the 'description', but is the best way to get
|
|
# the manual title to appear in the sidebar.
|
|
html_theme_options['description'] = u'User Mode Emulation User''s Guide'
|