diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index f0ab4019d81370f911974de395000033a55d8ba8..0000000000000000000000000000000000000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-stages:
-    - doc
-    - deploy
-
-doc:
-    stage: doc
-    script:
-        - cd ./doc
-        - make html
-        - scp -o StrictHostKeyChecking=no -i ${PROD_KEY} -r ./build/html/* ${PROD_USER}@${PROD_HOST}:${PROD_HTML_DIRECTORY}
-    only:
-        - develop
-
-deploy:
-    stage: deploy
-    script:
-        - echo Deploying production on ${PROD_HOST}...
-        - ssh -o StrictHostKeyChecking=no -i ${PROD_KEY} ${PROD_USER}@${PROD_HOST} ${PROD_SCRIPT} ${CI_COMMIT_REF_NAME}