| commit | 3eb7b78b42373a260eb6d9996840da36a256f46e | [log] [tgz] |
|---|---|---|
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | Fri Feb 21 18:24:01 2020 +0100 |
| committer | Tom Rini <trini@konsulko.com> | Tue Feb 25 09:06:40 2020 -0500 |
| tree | 5f852d1127dfd679476d25d4f21d8f70abb9fe0a | |
| parent | bb9a76ea67fe9b85961b50d9f95b772d6859edaa [diff] |
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>