pl031: Correctly migrate state when using -rtc clock=host
[qemu/ar7.git] / docs / interop / conf.py
blobcf3c69d4a7ef28025183c7e15130fafff9286974
1 # -*- coding: utf-8 -*-
3 # QEMU documentation build configuration file for the 'interop' 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'] = u'System Emulation Management and Interoperability Guide'