diff options
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2020-02-21 18:24:01 +0100 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2020-02-25 09:06:40 -0500 |
| commit | 3eb7b78b42373a260eb6d9996840da36a256f46e (patch) | |
| tree | 5f852d1127dfd679476d25d4f21d8f70abb9fe0a /.gitlab-ci.yml | |
| 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>
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a525ea2ce0..55943bb3a2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -122,6 +122,13 @@ grep TODO/FIXME/HACK: # search for HACK within source tree and ignore HACKKIT board - grep -r HACK . | grep -v HACKKIT +# build HTML documentation +htmldocs: + tags: [ 'all' ] + stage: testsuites + script: + - make htmldocs + # some statistics about the code base sloccount: tags: [ 'all' ] |