Re: [PATCH] docs: adjust for demise of scripts/create_config

2021-11-05 Thread Markus Armbruster
Paolo Bonzini writes: > The config-host.h, $TARGET-NAME/config-target.h, > $TARGET-NAME/config-devices.h files > are now generated by configure_file() rather than scripts/create_config. > Adjust > the relevant paragraph in docs/devel/build-system.rst, and take the occasion > to > fix a preexi

[PATCH] docs: adjust for demise of scripts/create_config

2021-11-05 Thread Paolo Bonzini
The config-host.h, $TARGET-NAME/config-target.h, $TARGET-NAME/config-devices.h files are now generated by configure_file() rather than scripts/create_config. Adjust the relevant paragraph in docs/devel/build-system.rst, and take the occasion to fix a preexisting confusion of *.h vs *.mak. Report