diff options
| author | Unai Martinez-Corral <unai.martinezcorral@ehu.eus> | 2023-02-25 17:18:36 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2023-02-26 19:48:44 +0100 |
| commit | 19babff18e95896639f1de01785f2b7ea8608beb (patch) | |
| tree | 28bf18796ce27bcd63d79a3dd5b8017eab0f0c5f /doc/conf.py | |
| parent | ef8d2cddcf44ae639d8a4f06ca2533bbb0c98954 (diff) | |
| download | ghdl-19babff18e95896639f1de01785f2b7ea8608beb.tar.gz ghdl-19babff18e95896639f1de01785f2b7ea8608beb.tar.bz2 ghdl-19babff18e95896639f1de01785f2b7ea8608beb.zip | |
doc: change theme to 'furo'
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/doc/conf.py b/doc/conf.py index 71d542204..dbe43d056 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -77,7 +77,6 @@ except Exception as ex: rst_prolog = "" - # ============================================================================== # Options for HTML output # ============================================================================== @@ -86,19 +85,7 @@ ctx = ROOT / "context.json" if ctx.is_file(): html_context.update(json_loads(ctx.open("r").read())) -if (ROOT / "_theme").is_dir(): - html_theme_path = ["."] - html_theme = "_theme" - html_theme_options = { - "logo_only": True, - "home_breadcrumbs": False, - "vcs_pageview_mode": "blob", - } - html_css_files = [ - "theme_overrides.css", - ] -else: - html_theme = "alabaster" +html_theme = "furo" html_static_path = ['_static'] # '/public' will contain the output from gnatdoc |