a few more plumbing scripts

3 files changed, 5 insertions, 1 deletions

diff --git a/default.do b/default.do
index cdf8ef8..a8cc947 100644
--- a/default.do
+++ b/default.do
@@ -1,2 +1,2 @@
 redo-ifchange index.html
-rsync -Rv style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/
+redo-ifchange htdocs
diff --git a/htdocs.do b/htdocs.do
new file mode 100644
index 0000000..ee4565b
--- /dev/null
+++ b/htdocs.do
@@ -0,0 +1,2 @@
+redo-ifchange index.html
+rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2
diff --git a/sync.do b/sync.do
new file mode 100644
index 0000000..f0a5a25
--- /dev/null
+++ b/sync.do
@@ -0,0 +1,2 @@
+redo-ifchange htdocs
+echo "SYNC" >&2
\ No newline at end of file