From 214324db8c26f7094b3a8096f7dae1079e996fee Mon Sep 17 00:00:00 2001 From: Haowei Hsu Date: Wed, 13 May 2026 15:34:04 +0800 Subject: [PATCH] docs: add github url to html theme options Include the GitHub repository URL in the HTML theme options for better visibility and access to the project's source code. --- Documentation/conf.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Documentation/conf.py b/Documentation/conf.py index b50c3ea7f..162fd9ae8 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -82,7 +82,9 @@ html_theme = 'shibuya' # further. For a list of options available for each theme, see the # documentation. # -# html_theme_options = {} +html_theme_options = { + "github_url": "https://github.com/steveicarus/iverilog", +} # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files,