.gitlab-ci: remove old 'doc' target

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f6b114042bb4365cc8e4526724be1f0481ba059a..89e225fa050fa997f12044404dc73a8d2153a5e2 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -209,16 +209,6 @@ trivial_checks: # aggregated to save some processing
     - ci/no_assert_check.sh
     - ci/deckard_commit_check.sh
 
-doc:
-  <<: *sanity
-  script:
-    - meson build_doc -Ddoc=enabled
-    - ninja -C build_doc doc-strict
-  artifacts:
-    expire_in: 6 hour
-    paths:
-      - doc/html
-
 lint:other:
   <<: *sanity
   script: