diff --git a/doc/conf.py b/doc/conf.py index 2633b7b8a..11eae1b56 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -264,6 +264,7 @@ def run_util(filename, run_name="__main__", init_globals=None): # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. html_theme = "sphinx_rtd_theme" +html_show_sourcelink = False # pending: better solution to #2859 # See sphinx-rtd-theme docs for details on each option: # https://sphinx-rtd-theme.readthedocs.io/en/stable/configuring.html