luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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.
This commit is contained in:
Haowei Hsu 2026-05-13 15:34:04 +08:00
parent 6b1878c1b5
commit 214324db8c
No known key found for this signature in database
GPG Key ID: 4DE65A9D91B9D0D8
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Documentation/conf.py
View File

@ -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,