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

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

(limited to 'sync.do')

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