From a042847b387e18c78cb429462c40894ff558b1aa Mon Sep 17 00:00:00 2001 From: Haowei Hsu Date: Wed, 13 May 2026 22:12:30 +0800 Subject: [PATCH] docs: add edit this page to sidebar --- Documentation/conf.py | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/Documentation/conf.py b/Documentation/conf.py index 162fd9ae8..619872ce1 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -73,6 +73,17 @@ highlight_language = 'none' # -- Options for HTML output ------------------------------------------------- +# A dictionary of values to pass into the template engine's context for all pages. +# +html_context = { + # Edit this page + "source_type": "github", + "source_user": "steveicarus", + "source_repo": "iverilog", + "source_version": "master", + "source_docs_path": "/Documentation/", +} + # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. #