diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2020-08-05 15:49:10 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-08-21 06:30:41 -0400 |
| commit | f8aa24ea9a82da38370470c6bc0eaa393999edfe (patch) | |
| tree | 04db2c0cd380403f5d50a7605f79dbae5bf00661 /docs/sphinx | |
| parent | 5e6d1573b493a0ec4982a0fecd5169d38d997e4e (diff) | |
meson: sphinx-build
For now, sphinx is run on every invocation of make. The previous mechanism
using $(wildcard) is not reproducible in Meson and was also brittle; for
example some .rst.inc files were left out. The next patch will introduce
a Sphinx extension to emit a depfile.
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs/sphinx')
0 files changed, 0 insertions, 0 deletions