This site uses the Pelican static site builder, which you can install with
something like:

    apt install pelican

To work on the site locally, run:

    pelican devserver

To deploy run:

    export SSH_HOST=...
    export SSH_PORT=22
    export SSH_USER=...
    export SSH_TARGET_DIR=...

    make publish
    make ssh_upload

(The `ssh_upload` command is slower than `rsync_upload`, but `rsync_upload` will
delete files, so you need to be 100% sure the target directory is set
correctly.)