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>

diff --git a/doc/user/meson.build b/doc/user/meson.build
index c5dc32a4d143a675b7e4e6a90e7825bdd570df55..733e1b90b10b2bcead56c4e0e21948ae47d0ffc7 100644 (file)
--- 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)