From 0f844fa1ba6b887666ffee940d9c101b7df3b2b1 Mon Sep 17 00:00:00 2001
From: Viktor Kleen <viktor@kleen.org>
Date: Fri, 2 Jan 2015 09:59:58 +0000
Subject: a few more plumbing scripts

---
 default.do | 2 +-
 htdocs.do  | 2 ++
 sync.do    | 2 ++
 3 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 htdocs.do
 create mode 100644 sync.do

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
-- 
cgit v1.2.3