The documentation is built with Jekyll, which integrates with Github Pages.

To serve the documentation using Jekyll’s web server during development:

$ cd doc
$ bundle exec jekyll serve

To generate the static site:

$ cd doc
$ bundle exec jekyll build

Any updates to the files under docs/ triggers a rebuild of the site via the pages-build-deployment workflow on Github. These changes are reflected at after a few seconds.