[gi-docgen/ci-pages-fix] ci: Drop the make requirement

[Emmanuele Bassi <ebassi src gnome org>]

commit b3d89888133bebf29ebc2a8ca5e340fb107357ad
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Mon Aug 9 19:14:43 2021 +0100

    ci: Drop the make requirement
    
    We only need to run Sphinx.

 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7065e43..ee3c635 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -57,7 +57,7 @@ pages:
   script:
     - pip install --user sphinx sphinx_rtd_theme
     - cd docs
-    - make
+    - python3 -m sphinx  -b html . _build
     - mv _build ../public
   artifacts:
     paths: