From 026f7f11b04635af4be77c597d922114a19e1189 Mon Sep 17 00:00:00 2001 From: Steve Clement Date: Mon, 29 Oct 2018 16:29:10 +0900 Subject: [PATCH] chg: [tools] Some mini-tweaks to the publish script. --- publish.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) mode change 100644 => 100755 publish.sh diff --git a/publish.sh b/publish.sh old mode 100644 new mode 100755 index e0355ed..8600c7a --- a/publish.sh +++ b/publish.sh @@ -3,8 +3,8 @@ gitbook build gitbook pdf gitbook epub gitbook mobi -cp book.pdf _book -cp book.epub _book -cp book.mobi _book +mv book.pdf _book +mv book.epub _book +mv book.mobi _book cd _book -rsync -av . circl@cpab.circl.lu:/var/www/nwww.circl.lu/doc/misp/ +rsync -azv . circl@cpab:/var/www/nwww.circl.lu/doc/misp/ && rm -rf _book