chg: [tools] Some mini-tweaks to the publish script.

pull/133/head
Steve Clement 2018-10-29 16:29:10 +09:00
parent 9f1b1ce49a
commit 026f7f11b0
1 changed files with 4 additions and 4 deletions

8
publish.sh Normal file → Executable file
View File

@ -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