Re: [coreboot] [RFC] Building the documentation with Sphinx