subject:"\[PATCH 1\/1\] gitlab\: build HTML documentation"

Re: [PATCH 1/1] gitlab: build HTML documentation

2020-02-21 Thread Bin Meng

On Fri, Feb 21, 2020 at 1:20 PM Heinrich Schuchardt wrote: > > Several patches delivered incorrect restructured text as documentation. We > should be able to discover this in Gitlab CI. > > Provide a build step for 'make htmldocs'. > > Signed-off-by: Heinrich Schuchardt > --- > This patch

[PATCH 1/1] gitlab: build HTML documentation

2020-02-20 Thread Heinrich Schuchardt

Several patches delivered incorrect restructured text as documentation. We should be able to discover this in Gitlab CI. Provide a build step for 'make htmldocs'. Signed-off-by: Heinrich Schuchardt --- This patch requires a new Docker image. Cf. [PATCH 1/1] Dockerfile: add imagemagick