Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update the link to the documentation
It requires at least that we must use `dune-release` for the release (and push the generated documentation into the gh-pages branch) but it's the usual and current process.
- Loading branch information