diff options
| -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 |