On Thu, 30 Sept 2021 at 14:33, Paolo Bonzini wrote:
>
> Signed-off-by: Paolo Bonzini
> ---
> docs/devel/build-system.rst | 21 ++---
> 1 file changed, 10 insertions(+), 11 deletions(-)
>
> diff --git a/docs/devel/build-system.rst b/docs/devel/build-system.rst
> index
Signed-off-by: Paolo Bonzini
---
docs/devel/build-system.rst | 21 ++---
1 file changed, 10 insertions(+), 11 deletions(-)
diff --git a/docs/devel/build-system.rst b/docs/devel/build-system.rst
index 3baec158f2..0f636d620e 100644
--- a/docs/devel/build-system.rst
+++