diff options
author | Erik Faye-Lund <[email protected]> | 2020-04-18 11:44:57 +0200 |
---|---|---|
committer | Marge Bot <[email protected]> | 2020-06-13 10:42:01 +0000 |
commit | dd3add1b197eef55b2890b91c7e947ce6c0498cb (patch) | |
tree | d41c1dfa1b1ab8934925654b94851c9f4c60f979 /docs | |
parent | 62abe35e348ec1c72c38bb0e241e74f0b6957589 (diff) |
docs: bundle extra files
These are documents that are bundled in the root of the website, and
contains some useful, extra documentation. Let's include them.
Reviewed-by: Eric Engestrom <[email protected]>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4630>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/conf.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 26beed37168..d5e052114f8 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -112,6 +112,15 @@ html_copy_source = False # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = [] +html_extra_path = [ + 'features.txt', + 'libGL.txt', + 'README.UVD', + 'README.VCE', + 'README.WIN32', + 'VERSIONS' +] + # -- Options for HTMLHelp output ------------------------------------------ |