Oops, make install copies things

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a049c5a4ef1d2026fa80692bece6ec1b81ab5043..fa900b5cfeac616c8be6867da0d1cbeac3e2d8b4 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,8 +9,6 @@ build game:
   script:
     - apt-get update && apt-get install -y texlive-latex-base texlive-latex-extra texlive-fonts-recommended texlive-pstricks python3 make
     - make install
-    - mkdir artifacts
-    - cp faq.pdf style-guide.pdf artifacts/ && cp tea/rating.pdf artifacts/tea-rating.pdf
 
   artifacts:
     paths: