On 1/17/20 7:42 PM, Vinicius Latorre wrote:
> I didn't notice
> INSTALL.REPO, only the INSTALL.
The first paragraph of INSTALL says, "For information about building from a
repository checkout (rather than a release), also read the file INSTALL.REPO."