Editing the documentation

This page covers how you should edit pages on this website.

Setup

git clone https://github.com/USERNAME/website.git
cd website
npm i

You will need to install Hugo, version 0.145.0, to be able to run the static site generator and see your changes:

npm run dev  # launches a server at http://localhost:1313

We can not use the ``` syntax, as Hugo relies on Chroma, and we would have to patch Chroma, then wait for Hugo to pickup the update.

An homemade shortcode can instead be used, nearly in the same way:

{{< highlight_arkscript >}}
(math:sin 0.5421)

(list:forEach the-list (fun (element) (...)))

(console:color "red")
{{< /highlight_arkscript >}}

You will also have to include the JS scripts so that Rainbow.js is loaded:

{{< highlight_scripts >}}