== Deployment strategies ==
This website is intended to be deployed as a dynamic version
because it contains dynamic elements for loading information
from the forum and the git repositories.

However deploying the website as a static version can still
be useful, for instance for working on it locally without
requiring a web server, or for deploying a temporary static
version during a maintenance operation on the machine hosting
the website.

To do that, run make in the top directory. It will then
generate HTML files that can be viewed with a browser or
temporarily hosted statically.