I use a from-scratch python script that generates a bunch of html files which are pushed to GitHub pages