summaryrefslogtreecommitdiff
path: root/htdocs.do
blob: 847090190359ee36a5fba4e5f357c067799ddf2c (plain)
1
2
redo-ifchange all
rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2