deploy zip to pages

.gitlab-ci.yml

@@ -57,27 +57,12 @@ build-packages:      # This job runs in the deploy stage.
   tags:
     - latex
 
+
 pages:
-  stage: deploy
+    artifacts:
-  artifacts:
+        paths:
-    paths:
+            - build/*
-      - public
+        script:
-  before_script:
+            - echo "deploying to pages"
-    - apt-get update -y && apt-get install -yqqf openssh-client git unzip sshpass rsync --fix-missing
+        tags:
-    - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client git -y )'
+            -latex
-    - eval $(ssh-agent -s)
-    - echo "$GITLAB_DEPLOY_KEY" | base64 -d | tr -d '\r' | ssh-add - > /dev/null
-
-    - mkdir -p ~/.ssh
-    - chmod 700 ~/.ssh
-
-    - ssh-keyscan gitlab.com >> ~/.ssh/known_hosts
-    - chmod 644 ~/.ssh/known_hosts
-
-    - git config --global user.email "git@maximilian-kessler.de"
-    - git config --global user.name "Maximilian Keßler (via gitlab runner)"
-  script:
-      - cd build/LatexPackagesBuild
-      - git push origin
-  tags:
-    - latex

src/environments/fancythm.pysty

@@ -265,5 +265,3 @@ __END_OPTIONS_X__
     \newtheorem{reminder}{\if__PACKAGE_PREFIX__english Reminder\else Erinnerung\fi}
 
 \fi % end of default theorems
-
-% just a test