www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit bd3ed0c462add7a4d48e8b56822b8d9e93cdc704
parent 47872072b57eee7b6d6b051b2a9b609e2886e1fb
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Mon, 20 Mar 2017 20:02:08 +0100

Fixed script

Diffstat:
Mauto-push-gh-pages.sh | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/auto-push-gh-pages.sh b/auto-push-gh-pages.sh @@ -29,6 +29,7 @@ else eval `ssh-agent -s` ssh-add travis-deploy-key-id_rsa + TRAVIS_GH_PAGES_DIR="$HOME/travis-gh-pages-$(date +%s)" if test -e $TRAVIS_GH_PAGES_DIR; then rm -rf $TRAVIS_GH_PAGES_DIR; fi mv -i doc $TRAVIS_GH_PAGES_DIR git init $TRAVIS_GH_PAGES_DIR