gitlab: build HTML documentation
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Fri, 21 Feb 2020 17:24:01 +0000 (18:24 +0100)
committerTom Rini <trini@konsulko.com>
Tue, 25 Feb 2020 14:06:40 +0000 (09:06 -0500)
commit3eb7b78b42373a260eb6d9996840da36a256f46e
tree5f852d1127dfd679476d25d4f21d8f70abb9fe0a
parentbb9a76ea67fe9b85961b50d9f95b772d6859edaa
gitlab: build HTML documentation

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 <xypron.glpk@gmx.de>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
.gitlab-ci.yml