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/*}