drgn/docs/conf.py
Omar Sandoval ca373fe38a docs: use "programmable debugger" description consistently
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>
2022-08-19 01:21:32 -07:00

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"