From bc2aa8dab5af32dcedad9ff5e209eca2142a38e8 Mon Sep 17 00:00:00 2001 From: Marcin Grzejszczak Date: Tue, 9 Aug 2016 18:41:29 +0200 Subject: [PATCH] Updated the gh-pages script --- docs/src/main/asciidoc/ghpages.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/src/main/asciidoc/ghpages.sh b/docs/src/main/asciidoc/ghpages.sh index e1063ce328..3f3cfe1e6b 100755 --- a/docs/src/main/asciidoc/ghpages.sh +++ b/docs/src/main/asciidoc/ghpages.sh @@ -28,6 +28,7 @@ if [ "$dirty" != "0" ]; then git stash; fi # Switch to gh-pages branch to sync it with current branch ################################################################### git checkout gh-pages +git pull origin gh-pages --rebase for f in docs/target/generated-docs/*; do file=${f#docs/target/generated-docs/*}