Re: [docs] [PATCH v2] Documentation: add pygments package for generating docs

Michael Opdenacker
2023-03-14T10:37:41Z

On 14.03.23 at 10:54, Michael Opdenacker via lists.yoctoproject.org wrote:
> From: Michael Opdenacker <michael.opdenacker@bootlin.com>
>
> To the packages required to build docs
>
> Signed-off-by: Michael Opdenacker <michael.opdenacker@bootlin.com>
>
> - Changes in V2:
> - Had "pygments" to PIP3_HOST_PACKAGES_DOC in documentation/poky.yaml.in too

Forget about this change. Checking the package requirements again on a
fresh Ubuntu 22.04 container, I found that this time "pygments"  didn't
need installing. Indeed, " pip3 show sphinx" shows that it's a
dependency of "sphinx".

I wonder why I had to add this yesterday.

Apologies for the noise.
Michael.

--
Michael Opdenacker, Bootlin
Embedded Linux and Kernel engineering