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. #