Skip to content

Files

Latest commit

00d3b8d · Apr 1, 2025

History

History

docs

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Jul 18, 2024
Mar 31, 2025
Mar 11, 2025
Apr 1, 2025
Nov 10, 2022
Feb 16, 2025
Apr 24, 2023
Apr 24, 2023
May 17, 2024
Oct 28, 2022
Feb 1, 2025
Mar 18, 2025
Feb 24, 2025
Apr 24, 2023
Feb 26, 2025
Feb 24, 2025

Website

This website is built using Docusaurus, a modern static website generator.

Installation

$ npm install

Local Development

$ npm run start

This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.

Build

$ npm run build

This command generates static content into the build directory and can be served using any static contents hosting service.

Deployment

Using SSH:

$ USE_SSH=true npm run deploy

Not using SSH:

$ GIT_USER=<Your GitHub username> npm run deploy

If you are using GitHub pages for hosting, this command is a convenient way to build the website and push to the gh-pages branch.