[tracker-miners/wip/carlosg/fix-coverity-build] ci: Do not build docs when doing the Coverity build

[Carlos Garnacho <carlosg src gnome org>]

commit a56c8cc06cb8b06b1014e35ff567f54b618433b5
Author: Carlos Garnacho <carlosg gnome org>
Date:   Sun Oct 24 13:46:50 2021 +0200

    ci: Do not build docs when doing the Coverity build
    
    This pulls the hotdoc dependency, which we don't have in this
    image. This is unnecessary, so disable docs here.

 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b51947edd..b54004bfc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -331,7 +331,7 @@ coverity:
     # tracker code to be included in the coverity reports for tracker-miners.
     - .gitlab-ci/checkout-tracker.sh
     - export INSTALL=`pwd`/install
-    - pushd subprojects/tracker; meson build --libdir lib --prefix $INSTALL; pushd build; ninja install; 
popd; popd
+    - pushd subprojects/tracker; meson build --libdir lib --prefix $INSTALL -Ddocs=false; pushd build; ninja 
install; popd; popd
     - curl https://scan.coverity.com/download/linux64 --data "token=$COVERITY_TOKEN&project=tracker-miners" 
--output /tmp/coverity_tool.tgz
     - tar zxf /tmp/coverity_tool.tgz
     - mkdir coverity-build