meson.build: Make manuals depend on source to Sphinx extensions
commitb3f4830ab398f6e66cda986835e9b5be567e3e49
authorPeter Maydell <peter.maydell@linaro.org>
Fri, 25 Sep 2020 16:23:09 +0000 (25 17:23 +0100)
committerMarkus Armbruster <armbru@redhat.com>
Tue, 29 Sep 2020 15:55:39 +0000 (29 17:55 +0200)
treeac317ff6bd6fbc57d538171bf8eff1b79981bbd8
parenteb937365faeeddc94a0144bc1565b223ee87351f
meson.build: Make manuals depend on source to Sphinx extensions

The automatic dependency handling for Sphinx manuals only makes the output
depend on the input documentation files. This means that if you edit
the Python source of an extension then the documentation won't be
rebuilt.

Create a list of all the source files for the extensions and add
it to the dependencies for the manuals. This is similar to how we
handle the qapi_gen_depends list.

Because we don't try to identify which manuals are using which
Sphinx extensions, a change to the source of one extension will
always rebuild the entire manual set, not merely the manuals
which have changed. This is acceptable because we don't change
the extensions all that often.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Message-Id: <20200925162316.21205-15-peter.maydell@linaro.org>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
[Re rebuilding the enitre manual set being acceptable "because we
don't change the extensions all that often": we also rebuild it when
the QAPI generator code the qapidoc extension depends on changes.
This will inconvenience QAPI developers.  Can't be helped now.]
Signed-off-by: Markus Armbruster <armbru@redhat.com>
docs/meson.build
meson.build