spapr/xive: Allocate IPIs independently from the other sources
[qemu.git] / docs / specs / conf.py
blob4d56f3ae13cfad3ec355e31b08c471b30177da5d
1 # -*- coding: utf-8 -*-
3 # QEMU documentation build configuration file for the 'specs' manual.
5 # This includes the top level conf file and then makes any necessary tweaks.
6 import sys
7 import os
9 qemu_docdir = os.path.abspath("..")
10 parent_config = os.path.join(qemu_docdir, "conf.py")
11 exec(compile(open(parent_config, "rb").read(), parent_config, 'exec'))
13 # This slightly misuses the 'description', but is the best way to get
14 # the manual title to appear in the sidebar.
15 html_theme_options['description'] = \
16 u'System Emulation Guest Hardware Specifications'