Skip to main content

Contributing to the website

This website is built using Docusaurus.

For simple changes to the documentation, click on the Edit button at the bottom of each page and submit those changes directly on GitHub.

Running the site locally

For running the website locally, you'll need:

In addition to Docusaurus, we preprocess the markdown files using:

The first step is to then preprocess the markdown files. You can do it with:

sbt
docs/run -w

This command will watch for new changes for Markdown files in the docs/ directory and regenerate the files when they change.

You can now build and launch the website using these commands:

cd website
yarn install # only the first time, to install the dependencies
yarn start

# To test search feature in local development
yarn build
yarn serve

Now visit localhost:3000 and you should see a local version of the website. New changes should trigger a reload in the browser.

Adding a new page

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 the id specified in the page metadata (see the existing pages for an example).