ch0ic3/cutter
1
0
Fork 0
mirror of https://github.com/rizinorg/cutter.git synced 2024-12-18 19:06:10 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Push documentation at the proper place (#1703)

Browse Source
This commit is contained in:
xarkes 2019-08-07 22:17:45 +02:00 committed by GitHub
parent d3f91a5ed6
commit a5fbbee571
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
scripts/deploy_docs.sh
View File

@ -12,8 +12,7 @@ git clone --depth 1 git@github.com:radareorg/cutter.re.git || exit 1
echo "Updating docs" echo "Updating docs"
rm -rf cutter.re/docs rm -rf cutter.re/docs
rm -rf cutter.re/_site/docs cp -a docs/build/html cutter.re/docs || exit 1
cp -a docs/build/html cutter.re/_site/docs || exit 1
echo "Committing new changes" echo "Committing new changes"