Update mkdocs.yml
This commit is contained in:
parent
9d1fcaa827
commit
5f95dd93b1
1 changed files with 2 additions and 1 deletions
3
.github/workflows/mkdocs.yml
vendored
3
.github/workflows/mkdocs.yml
vendored
|
@ -61,7 +61,8 @@ jobs:
|
||||||
echo "${CUSTOM_DOMAIN}" > "${GITHUB_WORKSPACE}/mkdocs/docs/CNAME"
|
echo "${CUSTOM_DOMAIN}" > "${GITHUB_WORKSPACE}/mkdocs/docs/CNAME"
|
||||||
echo -e "User-agent: *\nDisallow: /v*.*/\nSitemap: https://${CUSTOM_DOMAIN}/sitemap.xml" > "${GITHUB_WORKSPACE}/mkdocs/docs/robots.txt"
|
echo -e "User-agent: *\nDisallow: /v*.*/\nSitemap: https://${CUSTOM_DOMAIN}/sitemap.xml" > "${GITHUB_WORKSPACE}/mkdocs/docs/robots.txt"
|
||||||
git fetch origin gh-pages --verbose
|
git fetch origin gh-pages --verbose
|
||||||
mike deploy latest -t "Cloud (Latest)" --config-file "${GITHUB_WORKSPACE}/mkdocs/mkdocs.yml" --push --rebase
|
mike delete dev
|
||||||
|
mike deploy dev -t "master" --config-file "${GITHUB_WORKSPACE}/mkdocs/mkdocs.yml" --push --rebase
|
||||||
env:
|
env:
|
||||||
CUSTOM_DOMAIN: distribyted.com
|
CUSTOM_DOMAIN: distribyted.com
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue