Re: [PATCH 3/7] docs: put "make" information together in build-system.rst

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

[PATCH 3/7] docs: put "make" information together in build-system.rst

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 +++