diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2019-03-07 14:26:46 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2019-03-07 14:26:46 +0000 |
| commit | 479fb8a5114cc87fdf96bb21e4cf0b5798286444 (patch) | |
| tree | c1a168eb43a4a09f977a44d5a555e48419f344ca /docs/conf.py | |
| parent | 4fad3864a88170fd16f59b73b0d6a3b3c29692dc (diff) | |
docs/conf.py: Don't include rST sources in HTML build
Sphinx defaults to including all the rST source files
in the HTML build and making each HTML page link to the
source file. Disable that.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Acked-by: Aleksandar Markovic <amarkovic@wavecomp.com>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-id: 20190305172139.32662-7-peter.maydell@linaro.org
Message-id: 20190228145624.24885-7-peter.maydell@linaro.org
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index d118757cbd..d3018bc539 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -113,6 +113,9 @@ html_sidebars = { ] } +# Don't copy the rST source files to the HTML output directory, +# and don't put links to the sources into the output HTML. +html_copy_source = False # -- Options for HTMLHelp output ------------------------------------------ |