From 445d0e699f2b98e5a892c812af9f021671920c1b Mon Sep 17 00:00:00 2001
From: "Ondrej Zajicek (work)" <santiago@crfreenet.org>
Date: Sun, 25 Apr 2021 11:24:46 +0200
Subject: [PATCH] CI: Build documentation where tools are available

---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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