Sync docs from HEAD to gh-pages

This commit is contained in:
buildmaster
2016-08-09 16:56:40 +00:00
parent 521e632073
commit 71f07a5e2b
2 changed files with 2 additions and 1 deletions

View File

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

View File

@@ -5341,7 +5341,7 @@ number of different ways, including as described above using
</div>
<div id="footer">
<div id="footer-text">
Last updated 2016-08-07 21:06:01 UTC
Last updated 2016-08-09 16:41:44 UTC
</div>
</div>
</body>