Wiki #61

Merged
dergrimm merged 76 commits from wiki into main 2022-02-23 17:23:49 +00:00
Showing only changes of commit 93bbfd31ef - Show all commits

View file

@ -151,13 +151,12 @@ steps:
- name: cache
path: /cache
commands:
- shopt -s extglob
- mkdir -p /tmp/pages/docs
- cp -r ./docs/book/* /tmp/pages/docs
- mkdir -p /tmp/pages/docs/_api/backend
- cp -r ./docker/backend/docs/* /tmp/pages/docs/_api/backend
- ls -a
- rm -rf !(".git")
- find . ! -name ".git" -delete
- cp -r /tmp/pages/* .
- ls -a
- ls -a ./docs