Update .gitea/workflows/doxygen.yaml
All checks were successful
Doxygen / Doxygen (push) Successful in 17s
All checks were successful
Doxygen / Doxygen (push) Successful in 17s
This commit is contained in:
parent
3a0f584632
commit
8136ce77b9
@ -24,20 +24,15 @@ jobs:
|
|||||||
|
|
||||||
- name: Move `/docs/html/` contents to web branch
|
- name: Move `/docs/html/` contents to web branch
|
||||||
run: |
|
run: |
|
||||||
# Ensure a clean Git state
|
|
||||||
git config --global user.name "${{ gitea.actor }}"
|
git config --global user.name "${{ gitea.actor }}"
|
||||||
git config --global user.email "${{ gitea.actor }}@example.com"
|
git config --global user.email "${{ gitea.actor }}@example.com"
|
||||||
git fetch origin
|
git fetch origin
|
||||||
|
|
||||||
# Create the web branch
|
|
||||||
git checkout --orphan web
|
git checkout --orphan web
|
||||||
git reset --hard
|
|
||||||
git clean -fdx
|
|
||||||
|
|
||||||
# Copy the contents of docs/html/ to the root
|
# Copy the contents of docs/html/ to the root
|
||||||
cp -r docs/html/* . || exit 1
|
cp -r docs/html/* .
|
||||||
|
|
||||||
# Commit and push to the web branch
|
|
||||||
git add .
|
git add .
|
||||||
git commit -m "Update web branch with documentation"
|
git commit -m "Update web branch with documentation"
|
||||||
git push origin web --force
|
git push origin web --force
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user