Skip to content
This repository has been archived by the owner on Jul 12, 2023. It is now read-only.

Latest commit

 

History

History
 
 

docs

Making changes to the website

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.