From 17aefa73a10abc3221461e801150b5523a810663 Mon Sep 17 00:00:00 2001 From: Erik Faye-Lund Date: Mon, 10 Jun 2019 20:15:08 +0200 Subject: [PATCH] docs: do not copy source-files to site These docs have publically available sources in the first place, there's no point in including a copy of them here as well. Reviewed-by: Eric Engestrom Part-of: --- docs/conf.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index e9d84b265c0..3ca6352ee91 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -103,6 +103,8 @@ html_theme_options = { 'display_version': False, } +html_copy_source = False + # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". -- 2.30.2