To update: edit the pages/ files. Then run perl bin/generate.pl that will create the files in the html/ directory. Both are committed to Git.