From 2a4385863a1615f396c1d34d61052cf958b67f8d Mon Sep 17 00:00:00 2001 From: Marcin Grzejszczak Date: Tue, 9 Aug 2016 18:57:52 +0200 Subject: [PATCH] Updated the gh-pages script --- docs/src/main/asciidoc/ghpages.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/main/asciidoc/ghpages.sh b/docs/src/main/asciidoc/ghpages.sh index 3f3cfe1e6b..408a9a5e32 100755 --- a/docs/src/main/asciidoc/ghpages.sh +++ b/docs/src/main/asciidoc/ghpages.sh @@ -28,7 +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 +git pull origin gh-pages for f in docs/target/generated-docs/*; do file=${f#docs/target/generated-docs/*}