path: root/htdocs.do

redo-ifchange index.html
rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2