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