OSDN Git Service

configure: move --enable-docs and --disable-docs back to configure
authorJohn Snow <jsnow@redhat.com>
Thu, 11 May 2023 03:54:28 +0000 (23:54 -0400)
committerPaolo Bonzini <pbonzini@redhat.com>
Thu, 18 May 2023 06:53:51 +0000 (08:53 +0200)
commit6b0cedcdc7c52feda1a6b5d6c6f30356290af0ec
tree4b358b148d1228a5717d8ca31c6c81a28818285d
parent9c6692db550f739a84fe4b677428df09d9fafdc3
configure: move --enable-docs and --disable-docs back to configure

Move this option back from meson into configure for the purposes of
using the configuration value to bootstrap Sphinx in different ways
based on this value.

Signed-off-by: John Snow <jsnow@redhat.com>
Message-Id: <20230511035435.734312-21-jsnow@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
configure