From 768f8ec3bf69e0ac4723126041a874aa0ed4c8b4 Mon Sep 17 00:00:00 2001
From: Juhani Haverinen <juhani.haverinen@gmail.com>
Date: Wed, 25 Mar 2015 18:25:46 +0200
Subject: [PATCH] First commit

---
 update.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 update.sh

diff --git a/update.sh b/update.sh
new file mode 100644
index 0000000..36bf5da
--- /dev/null
+++ b/update.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+cd "$(dirname "$0")"
+
+test -e ssss.txt || touch ssss.txt
+
+wget -O ssss-new.txt https://cs.au.dk/~sortie/ssss/ssss.txt > /dev/null 2>&1
+
+if diff ssss.txt ssss-new.txt > /dev/null 2>&1
+then
+	rm ssss-new.txt
+else
+	mv ssss-new.txt ssss.txt
+	git add ssss.txt > /dev/null 2>&1
+	git commit -m "Updated SSSS $(date +%Y-%m-%d)" > /dev/null 2>&1
+	git push origin master > /dev/null 2>&1
+fi