From f432d89dc0b6b2dbb778c50a9875f6651c93e45e Mon Sep 17 00:00:00 2001 From: Aravinth Manivannan Date: Wed, 28 Dec 2022 17:06:09 +0530 Subject: [PATCH] fix: CI: docs/ doesn't exist --- scripts/bin-publish.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/bin-publish.sh b/scripts/bin-publish.sh index a906697..172e230 100755 --- a/scripts/bin-publish.sh +++ b/scripts/bin-publish.sh @@ -41,7 +41,7 @@ get_bin(){ #container_id=$(docker create $DOCKER_IMG) #docker cp $container_id:/usr/local/bin/pages $TARGET_DIR/ #docker rm -v $container_id - cp target/release/forms $TARGET_DIR + cp target/release/librepages $TARGET_DIR } copy() { @@ -49,9 +49,9 @@ copy() { cp README.md $TARGET_DIR cp LICENSE.md $TARGET_DIR - mkdir $TARGET_DIR/docs - cp docs/CONFIGURATION.md $TARGET_DIR/docs - cp -r docs/installation/ $TARGET_DIR/docs +# mkdir $TARGET_DIR/docs +# cp docs/CONFIGURATION.md $TARGET_DIR/docs +# cp -r docs/installation/ $TARGET_DIR/docs get_bin }