Remove unused configs

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 56fa677eee99383c2be83c3a357ae4b5717efe6c..04ec6ba9b6f1a22a07874d421c5fdc5debe4f5f4 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,19 +12,3 @@ lint:
   stage: lint
   script:
     - make lint
-
-document:
-  stage: document
-  script:
-    - make document
-  artifacts:
-    paths:
-      - docs
-
-pages:
-  stage: deploy
-  script:
-    - mv docs public
-  artifacts:
-    paths:
-      - public