Skip to content

Wiki build instructions

This wiki is built using mkdocs, which runs on Python3


pip3 install mkdocs mkdocs-material mkdocs-awesome-pages-plugin

Run site (development)

Run ./ to host a local version on localhost:8088.

When a file is changed, the website should refresh automatically

Deploy site

To deploy the website on my server (only I can do this), run ./ Just make sure you use public key authentication to the server.

This will:

  • build the site to the ./site directory
  • remove the old fpgc folder on the server
  • copy the site directory to the server, with fpgc as name
  • recursively set group to www-data