Update mkdocs.yml
This commit is contained in:
parent
5f95dd93b1
commit
679138d26f
1 changed files with 1 additions and 2 deletions
3
.github/workflows/mkdocs.yml
vendored
3
.github/workflows/mkdocs.yml
vendored
|
@ -61,8 +61,7 @@ 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 delete dev
|
mike deploy master dev --config-file "${GITHUB_WORKSPACE}/mkdocs/mkdocs.yml" --push --rebase
|
||||||
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