./gen.shgenerates the web site in
./serve.shserves the website over port 3131.
This requires docker to be installed.
- pygment to generate the syntax highlighting:
pip install --user Pygments
- hugo to generate the html
- minify to reduce
go get -u -v github.com/tdewolff/minify/cmd/minify
The syntax styles was generated with
pygmentize -f html -S colorful -a .syntax >> site/static/css/style.css
and small modifications.
The time between a PR being merged and the web site being live is generally <5 seconds. One second due to github's latency itself, 2 seconds to regenerate the web site. The author doesn't like waiting.