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.

diff --git a/docs/conf.py.in b/docs/conf.py.in
index 65e880bc9072b152817b64d4c6d0b5d79f2b1b5b..35f0b3dd22fd5f3469c41dbe243cd51e6a685f41 100644 (file)
--- 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"