diff options
Diffstat (limited to 'htdocs.do')
| -rw-r--r-- | htdocs.do | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/htdocs.do b/htdocs.do new file mode 100644 index 0000000..ee4565b --- /dev/null +++ b/htdocs.do | |||
| @@ -0,0 +1,2 @@ | |||
| 1 | redo-ifchange index.html | ||
| 2 | rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2 | ||