diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 12dba0de5f8e9956cafa8091005c47caafc0d5d5..5933d60ab316b29f80481ecaa5e15aa8e7fce3a1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,7 +1,6 @@
 image: java:latest
 
 stages:
-  - tex
   - assemble
   - build
   - javadoc