redo-ifchange index.html rsync -Rv style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/