From 6993529bb6bf62c2e2be6634baaa7d34dabe6a74 Mon Sep 17 00:00:00 2001
From: Tim Fischer <fischeti@iis.ee.ethz.ch>
Date: Fri, 30 Aug 2024 16:58:33 +0200
Subject: [PATCH] Revert "ci: Remove doc generation in internal CI"

This reverts commit ae5aad937a1d50b92ebf8cdf79611f312174e20a.
---
 .gitlab-ci.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

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