CI: Build documentation where tools are available

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 146559ed2063a799f31c302679281fccf57eec9d..344ed80a4ae880203f167b669848051368348469 100644 (file)
--- 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