diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-06-18 19:18:16 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-18 19:18:16 -0700 |
commit | af031c2938f753f555893b39c3cf1f7467b284fc (patch) | |
tree | 8d0252613b05affd125f53de9ea50f5e6e801313 /docs | |
parent | 5b15ba18c32ed78190b7e71b6bfb64f1f8b8dcab (diff) |
docs: Remove 'View page source' link in right corner. (#6771)
We don't upload the source files to the website, so this will always be
a 404.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/conf.py.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/conf.py.in b/docs/conf.py.in index 65e880bc9..35f0b3dd2 100644 --- a/docs/conf.py.in +++ b/docs/conf.py.in @@ -67,6 +67,7 @@ html_theme = 'sphinx_rtd_theme' html_theme_options = {} html_static_path = ['${CMAKE_CURRENT_SOURCE_DIR}/_static/'] html_css_files = ['custom.css'] +html_show_sourcelink = False # -- Breathe configuration --------------------------------------------------- breathe_default_project = "cvc5" |