mirror of
https://git.proxmox.com/git/fwupd
synced 2025-08-15 02:54:47 +00:00
trivial: circleci: explicitly add new doc files on deployment
When a new section is introduced (or renamed) it's not getting added currently.
This commit is contained in:
parent
6c8beb6b3c
commit
4adec1b752
@ -105,6 +105,7 @@ jobs:
|
|||||||
git config user.name "Documentation deployment Bot"
|
git config user.name "Documentation deployment Bot"
|
||||||
rm -rf *
|
rm -rf *
|
||||||
cp ../html/* . -R
|
cp ../html/* . -R
|
||||||
|
git add .
|
||||||
git commit -a --allow-empty -m "Trigger deployment"
|
git commit -a --allow-empty -m "Trigger deployment"
|
||||||
git push git@github.com:fwupd/fwupd.github.io.git
|
git push git@github.com:fwupd/fwupd.github.io.git
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user