On 3 December 2016 at 08:41, Paolo Bonzini <pbonz...@redhat.com> wrote:
> Since this stuff changes rarely, it should be in the source tree
> instead. You can link to the source tree from the wiki with something
> like this:
>
> {{src|path=BUILDING|description=the BUILDING file in the source tree}}
>
> Would you like to make a patch moving the information from the wiki to
> such a file?How would this differ from the "Building" section in the README in the source tree? thanks -- PMM
