This commit is contained in:
parent
d8fcf9bee7
commit
36ec7c9dac
@ -22,7 +22,7 @@ jobs:
|
|||||||
run: |
|
run: |
|
||||||
doxygen Doxyfile
|
doxygen Doxyfile
|
||||||
|
|
||||||
- name: Move `/docs/html/` contents to web branch
|
- name: Move `/docs/html/` contents to a new branch
|
||||||
run: |
|
run: |
|
||||||
# Ensure a clean Git state
|
# Ensure a clean Git state
|
||||||
git config --global user.name "${{ gitea.actor }}"
|
git config --global user.name "${{ gitea.actor }}"
|
||||||
@ -31,7 +31,18 @@ jobs:
|
|||||||
git checkout --orphan web
|
git checkout --orphan web
|
||||||
git reset --hard
|
git reset --hard
|
||||||
git clean -fdx
|
git clean -fdx
|
||||||
cp -r docs/html/* .
|
|
||||||
|
# Ensure docs/html exists and copy files
|
||||||
|
if [ -d "docs/html" ]; then
|
||||||
|
mkdir -p temp_html
|
||||||
|
cp -r docs/html/* temp_html/ || exit 1
|
||||||
|
mv temp_html/* .
|
||||||
|
rmdir temp_html
|
||||||
|
else
|
||||||
|
echo "Directory docs/html/ does not exist. Exiting."
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
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