mirror of
https://github.com/rizinorg/cutter.git
synced 2025-02-20 13:46:06 +00:00
[ci-skip] Deploy docs directly to _site
This commit is contained in:
parent
64d0d6b00d
commit
fe4206999a
@ -12,7 +12,8 @@ git clone --depth 1 git@github.com:radareorg/cutter.re.git || exit 1
|
||||
echo "Updating docs"
|
||||
|
||||
rm -rf cutter.re/docs
|
||||
cp -a docs/build/html cutter.re/docs || exit 1
|
||||
rm -rf cutter.re/_site/docs
|
||||
cp -a docs/build/html cutter.re/_site/docs || exit 1
|
||||
|
||||
echo "Committing new changes"
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user