use plain mkdocs instead of mike again

.gitlab-ci.yml

@@ -8,6 +8,7 @@ stages:
   - ragdoc_build
   - ragdoc_view
   - publish
+  - docu-dev
 
 before_script:
   - export GRADLE_USER_HOME=`pwd`/.gradle
@@ -95,27 +96,42 @@ pages:
   needs:
     - ragdoc_view
     - test
-  variables:
-    PAGES_BRANCH: pages
-    HTTPS_REMOTE: https://${PROJECT_BOT_USER}:${PROJECT_BOT_TOKEN}@${CI_SERVER_HOST}/${CI_PROJECT_PATH}.git
   before_script:
-    - apt update && apt install git-lfs
     - pip install -r pages/requirements.txt
-    - git config user.name $PROJECT_BOT_USER
-    - git config user.email $PROJECT_BOT_USER@git-st.inf.tu-dresden.de
-    - git fetch -f origin $PAGES_BRANCH:$PAGES_BRANCH || echo "Pages branch not deployed yet."
-    - git checkout $CI_COMMIT_SHA
   script:
-    - cd pages
-    - export VERSION=$(python main.py)
-    - echo $VERSION
-    - mike list --json --prefix public -r $HTTPS_REMOTE -b $PAGES_BRANCH
-    - mike deploy --rebase --prefix public -r $HTTPS_REMOTE -p -b $PAGES_BRANCH --update-aliases $VERSION
-    - cd ..
-    - git checkout $PAGES_BRANCH -- public/
+    - cd pages && mkdocs build
   artifacts:
     paths:
       - public/
   only:
-    - dev
     - master
+
+pages-dev:
+  image: python:3.10.0-bullseye
+  stage: publish
+  needs:
+    - ragdoc_view
+    - test
+  before_script:
+    - pip install -r pages/requirements.txt
+  script:
+    - cd pages && mkdocs build
+    - echo "UPSTREAM_JOB_ID=$CI_JOB_ID" >> build.env
+  artifacts:
+    paths:
+      - public/
+    reports:
+      dotenv: build.env
+  only:
+    - dev
+
+downstream-job:
+  stage: docu-dev
+  variables:
+    UPSTREAM_BRANCH: $CI_COMMIT_REF_NAME
+  trigger: jastadd/ragconnect-dev
+  needs:
+    - job: pages-dev
+      artifacts: true
+  only:
+    - dev