diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2021-04-25 11:24:46 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2021-05-19 17:22:12 +0200 |
| commit | 445d0e699f2b98e5a892c812af9f021671920c1b (patch) | |
| tree | 2e001fa676edc0565a0b94466259f7fe2bb269b3 /.gitlab-ci.yml | |
| parent | 656c744080d308f75cc9707b139e2a3ec31ad5b7 (diff) | |
CI: Build documentation where tools are available
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 146559ed..344ed80a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -218,8 +218,9 @@ docker_opensuse-15.3-amd64: - MAKE=make - which gmake 2>/dev/null >/dev/null && MAKE=gmake - $MAKE - # Run tests if they are available - $MAKE check + # Build docs when tools are available + - if which linuxdoc pdflatex >/dev/null ; then $MAKE docs ; fi .build-linux: &build-linux <<: *build-base |