diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2020-06-26 09:27:47 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2020-06-26 09:28:50 +1000 |
commit | 401a80d8cf0daba93a5fe6bc20465f25d24bf00e (patch) | |
tree | 0ddf01fecf0fb00879dd52ec40359cbedb986f6c | |
parent | c8e8c8fb4b8cc272889b908d407895419bfe7416 (diff) | |
download | libinput-401a80d8cf0daba93a5fe6bc20465f25d24bf00e.tar.gz |
doc: don't ship the .doctree files with the documentation
They're build artifacts and not needed for the actual documentation. Tell
sphinx-build to generate those files in a custom directory that's not part
of the documentation.
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
-rw-r--r-- | doc/user/meson.build | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/meson.build b/doc/user/meson.build index c5dc32a4..733e1b90 100644 --- a/doc/user/meson.build +++ b/doc/user/meson.build @@ -194,5 +194,6 @@ custom_target('sphinx', input : [ sphinx_conf_py, git_version_page ] + src_sphinx + dst_404s, output : [ sphinx_output_dir ], command : [ sphinx, '-q', '-b', 'html', + '-d', join_paths(meson.current_build_dir(), 'doctrees'), meson.current_build_dir(), sphinx_output_dir], build_by_default : true) |