aboutsummaryrefslogtreecommitdiff
path: root/gitdm.config
diff options
context:
space:
mode:
authorPeter Maydell <peter.maydell@linaro.org>2021-02-12 16:13:11 +0000
committerPeter Maydell <peter.maydell@linaro.org>2021-02-15 14:59:11 +0000
commit35f15acbc15d5abaa76ea2df6c068c28a2b456c2 (patch)
treeedc96b31dd471daaa2f74df2c06175231835e04a /gitdm.config
parent3ea856094cb77fe3087f607fa75382073963254b (diff)
docs/sphinx/qapidoc.py: Handle change of QAPI's builtin module name
In commit e2bbc4eaa7f0 we changed the QAPI modules to name the built-in module "./builtin" rather than None, but forgot to update the Sphinx plugin. The effect of this was that when the plugin generated a dependency file it was including a bogus dependency on a non-existent file named "builtin", which meant that ninja would run Sphinx and rebuild all the documentation every time even if nothing had changed. Update the plugin to use the new name of the builtin module. Fixes: e2bbc4eaa7f0 Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Paolo Bonzini <pbonzini@redhat.com> Tested-by: Eric Blake <eblake@redhat.com> Message-id: 20210212161311.28915-1-peter.maydell@linaro.org
Diffstat (limited to 'gitdm.config')
0 files changed, 0 insertions, 0 deletions