add pages

.gitlab-ci.yml

@@ -121,4 +121,22 @@ pages:
       - "public"
   only:
     - master
-  needs: []
\ No newline at end of file
+  needs: []
+
+
+
+pages_pdf:
+  needs: []
+  before_script:
+    - echo "Nothing"
+  when: manual
+  stage: build
+  image: zoo.smok.co/build/build:pages
+  script:
+    - cd docs
+    - make latexpdf
+    - cd ..
+    - mv docs/_build/latex/*.pdf .
+  artifacts:
+    paths:
+      - "*.pdf"