This is a sphinx site.
Run nix develop
to enter a development shell with sphinx-build
and sphinx-autobuild
.
The following commands are also available:
autobuild-docs
Start a development server with live reload onhttp://localhost:8000
build-docs
Build the docs locally in_build/index.html
serve-docs
Build the full site with nix (including Haddock) and serve it onhttp://localhost:8002
The doc site from main is built automatically and hosted here.
Additionally, the site is built for all PRs, and a link to a preview can be found in the PR statuses.