.domains

@@ -0,0 +1 @@
+doc.murph-project.org

.env

@@ -1,4 +0,0 @@
-LIVE_RELOAD_SUPPORT=true
-ADD_MODULES=
-DOCS_DIRECTORY=/app
-FAST_MODE=false

.gitignore

@@ -1,3 +0,0 @@
-/site/
-/Makefile
-/.cache

.woodpecker.yml

@@ -1,56 +0,0 @@
-steps:
-  build:
-    image: gitnet.fr/deblan/mkdocs
-    pull: true
-    environment:
-      - SITE_URL=https://doc.murph-project.org/
-    commands: |
-      if [ -n "$SITE_URL" ]; then
-        sed -i "s,# site_url: \"{site_url}\",site_url: \"$SITE_URL\"," mkdocs.yml
-      fi
-      mkdocs build
-
-  commit:
-    image: alpine/git
-    secrets: [ssh_private_key]
-    commands:
-      - eval $(ssh-agent -s)
-      - echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add -
-      - mkdir -p ~/.ssh && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config
-      - git config --global user.email ci@gitnet.fr
-      - git config --global user.name CI
-      - git commit -m build -a
-      - git fetch --no-tags origin +refs/heads/pages
-      - git remote add upstream git@gitnet.fr:murph/murph-doc.git
-      - git switch pages
-      - mv site /tmp/
-      - rm * -fr
-      - mv /tmp/site/* .
-      - echo doc.murph-project.org > .domains
-      - git add .
-      - git commit -m "Build ${CI_BUILD_NUMBER}"
-      - git push upstream pages
-
-  # push:
-  #   image: appleboy/drone-git-push
-  #   commands:
-  #   settings:
-  #     branch: pages
-  #     remote: git@gitnet.fr:murph/murph-doc.git
-  #     force: false
-  #     commit: false
-  #     ssh_key:
-  #       from_secret: ssh_key
-
-  #deploy:
-  #  image: eeacms/rsync
-  #  secrets: [ssh_user_host, ssh_priv_key]
-  #  commands:
-  #    - mkdir "$HOME/.ssh"
-  #    - echo "$SSH_PRIV_KEY" > "$HOME/.ssh/id_ed25519"
-  #    - chmod 700 "$HOME/.ssh"
-  #    - chmod 600 "$HOME/.ssh/id_ed25519"
-  #    - rsync -e "ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no" -avz --delete ./site/ "$SSH_USER_HOST:web/"
-  #  when:
-  #    branch:
-  #      - master