Browse Source

Ignore remote when forcing generation of docs (#1592)

pull/1593/head
trapexit 5 days ago
committed by GitHub
parent
commit
d3a3f65e7b
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 6
      mkdocs/generate-and-push-docs

6
mkdocs/generate-and-push-docs

@ -6,13 +6,13 @@ current_branch="$(git branch --show-current)"
mike delete --all --push --allow-empty --ignore-remote-status
git checkout "master"
mike deploy --push "latest" "master"
mike deploy --push "latest" "master" --ignore-remote-status
for tag in $(git tag -l | sort --version-sort --reverse)
do
if git ls-tree -r --name-only "${tag}" | grep -q 'mkdocs.yml'; then
git checkout "${tag}"
mike deploy --push "${tag}"
mike deploy --push "${tag}" --ignore-remote-status
fi
done
@ -21,6 +21,6 @@ done
#mike alias --push "${latest}" "latest"
#mike alias --push "latest" "latest"
mike set-default --push "latest"
mike set-default --push "latest" --ignore-remote-status
git checkout "${current_branch}"
Loading…
Cancel
Save