Merge pull request #1357 from hwhsu1231-fork/add-github-url

docs: add github url to html theme options

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,