From 066485d709b8c08063bd7d18e0460872ad97502f Mon Sep 17 00:00:00 2001
From: Tim Fischer <fischeti@iis.ee.ethz.ch>
Date: Thu, 29 Aug 2024 15:45:12 +0200
Subject: [PATCH] ci: Remove doc generation in internal CI

---
 .gitlab-ci.yml | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 656558761a..492045b228 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,14 +16,6 @@ variables:
 before_script:
   source iis-setup.sh
 
-##############
-# Build docs #
-##############
-
-docs:
-  script:
-    - make docs
-
 #####################
 # Python unit tests #
 #####################