To publish the documentation to [Github pages](https://pages.github.com/) run:
mkdocs gh-deploy -r origin
where origin is the remote name that you have given to the github repo. This will then publish the documentation under https://tsc-tools.github.io/tonik