Build documentation locally
$ make docs
Publish
$ git push
Use GitHub pages with customized domain for our writing.
For github actions.
- Apply token: https://github.com/settings/tokens
- Refer to ./settings/secrets/actions, fill token with name: "GHP_TOKEN"
- Custom domain: https://docs.github.com/en/pages/configuring-a-custom-domain-for-your-github-pages-site
Done!