Documentation is translated from Markdown to HTML using Jekyll, which is well integrated with Github. To make changes to the website, simply edit a Markdown file and push to master. To preview local changes, install Jekyll and type jekyll serve.
This repository was archived by the owner on Jul 12, 2023. It is now read-only.