diff --git a/scripts/deploy_docs.sh b/scripts/deploy_docs.sh index 68692b31..42a38158 100755 --- a/scripts/deploy_docs.sh +++ b/scripts/deploy_docs.sh @@ -12,8 +12,7 @@ git clone --depth 1 git@github.com:radareorg/cutter.re.git || exit 1 echo "Updating docs" rm -rf cutter.re/docs -rm -rf cutter.re/_site/docs -cp -a docs/build/html cutter.re/_site/docs || exit 1 +cp -a docs/build/html cutter.re/docs || exit 1 echo "Committing new changes"