From af031c2938f753f555893b39c3cf1f7467b284fc Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Fri, 18 Jun 2021 19:18:16 -0700 Subject: [PATCH] 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. --- docs/conf.py.in | 1 + 1 file changed, 1 insertion(+) 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" -- 2.30.2