Sync docs from master to gh-pages

This commit is contained in:
buildmaster
2019-04-29 14:48:51 +00:00
parent 2823d49b3d
commit 0fb9382835
2 changed files with 5 additions and 2 deletions

View File

@@ -587,6 +587,9 @@ correspond to the following guides in Spring Guides org.</p>
<div class="paragraph">
<p>You can skip this by either not adding the <code>guides</code> profile, or passing the <code>-DskipGuides</code> system property when the profile is turned on.</p>
</div>
<div class="paragraph">
<p>You can configure the project version passed to guides via the <code>guides-project.version</code> (defaults to <code>${project.version}</code>). The phase at which guides get updated can be configured by <code>guides-update.phase</code> (defaults to <code>deploy</code>).</p>
</div>
</div>
</div>
</div>

View File

@@ -57,8 +57,8 @@ function iterate_over_guides() {
function commit_and_push_new_guide_contents() {
"${GIT_BIN}" add .
"${GIT_BIN}" commit -m "Updating guides"
"${GIT_BIN}" push origin master
"${GIT_BIN}" commit -m "Updating guides" || echo "Nothing to commit"
"${GIT_BIN}" push origin master || echo "Nothing to push"
}
function copy_new_guide() {