diff --git a/docs/insiders/index.md b/docs/insiders/index.md index be4b4ea45..e6a16422c 100644 --- a/docs/insiders/index.md +++ b/docs/insiders/index.md @@ -17,7 +17,7 @@ that new features are first exclusively released to sponsors as part of
-The official documentation is built with Insiders +This documentation is built with Insiders [squidfunk.github.io/mkdocs-material][Material for MkDocs]
diff --git a/docs/publishing-your-site.md b/docs/publishing-your-site.md index 2286200b7..6b2035708 100644 --- a/docs/publishing-your-site.md +++ b/docs/publishing-your-site.md @@ -91,9 +91,9 @@ Now, when a new commit is pushed to either the `master` or `main` branches, the static site is automatically built and deployed. Push your changes to see the workflow in action. -If the GitHub Page doesn't show up after a few minutes, ensure the source branch -for your GitHub Page is set to `gh-pages` in your repository settings -`github.com///settings/pages`. +If the GitHub Page doesn't show up after a few minutes, go to your +settings of your repository and ensure that the [publishing source branch] +for your GitHub Page is set to `gh-pages`. Your documentation should shortly appear at `.github.io/`. @@ -102,6 +102,7 @@ Your documentation should shortly appear at `.github.io/`. [personal access token]: https://docs.github.com/en/github/authenticating-to-github/creating-a-personal-access-token [Insiders]: insiders/index.md [GitHub secrets]: https://docs.github.com/en/actions/configuring-and-managing-workflows/creating-and-storing-encrypted-secrets + [publishing source branch]: https://docs.github.com/en/pages/getting-started-with-github-pages/configuring-a-publishing-source-for-your-github-pages-site ### with MkDocs