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