From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Sat, 19 Jun 2021 02:18:16 +0000 (-0700)
Subject: docs: Remove 'View page source' link in right corner. (#6771)
X-Git-Tag: cvc5-1.0.0~1588
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=af031c2938f753f555893b39c3cf1f7467b284fc;p=cvc5.git

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 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"