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

---
 htdocs.do | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 htdocs.do

(limited to 'htdocs.do')

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