This website is built using Docusaurus.
For simple changes to the documentation, click on the
Edit button at the top
of each page and submit those changes directly on GitHub.
For running the website locally, you'll need:
In addition to Docusaurus, we preprocess the markdown files using:
- mdoc, to type-check, interpret Scala code fences, and to generate the site using its built-in Docusaurus support.
The first step is to then preprocess the markdown files. You can do it with:
This command will watch for new changes for Markdown files in the
directory and regenerate the files when they change.
You can now build and launch the website using these commands:
Now visit http://localhost:3000 and you should see a local version of the website. New changes should trigger a reload in the browser.
Whenever you add a new markdown page to the documentation, you'll have to manually include it in the side menu.
You can do this by editing the
website/sidebars.json file. The name to use is
id specified in the page metadata (see the existing pages for an example).