This directory contains the source files for the documentation.
To edit the documentation, checkout a branch and edit the Markdown files in the
src directory.
To build locally, install Julia, then (from the docs directory) run:
$ julia make.jl
The first time you run this command, Julia will download and install the necessary packages. This may take a couple of minutes.
The website is generated in the build/ folder. To check it out, load
build/index.html in your browser.
The documentation is automatically built and deployed by a GitHub action. You
should not check the build/ directory into git.
Any scripts or data that you put into this service are public.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.