mirror of
https://github.com/JakeHillion/drgn.git
synced 2024-12-23 17:53:07 +00:00
ca373fe38a
Replace the old "Scriptable debugger library" and "Debugger-as-a-library" taglines with the one we're using on GitHub, "Programmable debugger". Make up for it by emphasizing that drgn can also be used as a library a tiny bit more in the README. Signed-off-by: Omar Sandoval <osandov@osandov.com>
50 lines
998 B
Python
50 lines
998 B
Python
import os.path
|
|
import sys
|
|
|
|
sys.path.append(os.path.abspath(".."))
|
|
sys.path.append(os.path.abspath("exts"))
|
|
|
|
master_doc = "index"
|
|
|
|
extensions = [
|
|
"drgndoc.ext",
|
|
"setuptools_config",
|
|
"sphinx.ext.extlinks",
|
|
"sphinx.ext.intersphinx",
|
|
]
|
|
|
|
drgndoc_paths = ["../drgn", "../_drgn.pyi"]
|
|
drgndoc_substitutions = [
|
|
(r"^_drgn\b", "drgn"),
|
|
]
|
|
|
|
extlinks = {
|
|
"linux": (
|
|
"https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/%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": True,
|
|
"github_type": "star",
|
|
}
|
|
|
|
html_favicon = "favicon.ico"
|