From 9b6fbab39735d62de610125df53c8bc129c1919a Mon Sep 17 00:00:00 2001
From: Alter Step <alterstep@localhost>
Date: Thu, 9 Feb 2017 02:01:42 +0100
Subject: [PATCH] useful script

---
 DNSCrypt-Preference-Pane/DNSCrypt/extra/html/update.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 DNSCrypt-Preference-Pane/DNSCrypt/extra/html/update.sh

diff --git a/DNSCrypt-Preference-Pane/DNSCrypt/extra/html/update.sh b/DNSCrypt-Preference-Pane/DNSCrypt/extra/html/update.sh
new file mode 100755
index 0000000..6750b45
--- /dev/null
+++ b/DNSCrypt-Preference-Pane/DNSCrypt/extra/html/update.sh
@@ -0,0 +1,7 @@
+#! /bin/sh
+
+for f_in in *.haml; do
+  echo "$f_in"
+  f_out=$(echo "$f_in" | sed -e 's/.haml/.html/')
+  haml < "$f_in" > "$f_out"
+done