From a5fbbee571959112d25000855d8a631d096361c9 Mon Sep 17 00:00:00 2001 From: xarkes Date: Wed, 7 Aug 2019 22:17:45 +0200 Subject: [PATCH] Push documentation at the proper place (#1703) --- scripts/deploy_docs.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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"