1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
import os.path
import sys
sys.path.insert(0, os.path.abspath(".."))
sys.path.insert(0, os.path.abspath("exts"))
master_doc = "index"
man_pages = [
("man/drgn", "drgn", "programmable debugger", "", "1"),
]
option_emphasise_placeholders = True
extensions = [
"details",
"drgndoc.ext",
"linuxsrc",
"setuptools_config",
"sphinx.ext.extlinks",
"sphinx.ext.graphviz",
"sphinx.ext.intersphinx",
]
drgndoc_paths = ["../drgn", "../_drgn.pyi"]
drgndoc_substitutions = [
(r"^_drgn\b", "drgn"),
]
drgndoc_submodule_sort = [
# Sort experimental helpers after everything else.
(r"drgn\.helpers", [(r"experimental", 1)]),
]
extlinks = {
"contrib": (
"https://github.com/osandov/drgn/blob/main/contrib/%s",
"%s",
),
}
intersphinx_mapping = {
"python": ("https://docs.python.org/3", None),
}
manpages_url = "http://man7.org/linux/man-pages/man{section}/{page}.{section}.html"
html_static_path = ["_static"]
html_theme = "alabaster"
html_theme_options = {
"description": "Programmable debugger",
"logo": "logo.png",
"logo_name": True,
"logo_text_align": "center",
"github_user": "osandov",
"github_repo": "drgn",
"github_button": False,
"github_type": "star",
}
html_favicon = "favicon.ico"
|
