From 562e3fe1ce55bffab47b32d0a59b7c79a458753f Mon Sep 17 00:00:00 2001
From: Juhani Haverinen <juhani.haverinen@gmail.com>
Date: Wed, 25 Mar 2015 19:54:42 +0200
Subject: [PATCH] Simplify update.sh

---
 update.sh | 17 ++++-------------
 1 file changed, 4 insertions(+), 13 deletions(-)

diff --git a/update.sh b/update.sh
index 36bf5da..eec3edd 100644
--- a/update.sh
+++ b/update.sh
@@ -1,16 +1,7 @@
 #!/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
+wget -O ssss.txt https://cs.au.dk/~sortie/ssss/ssss.txt > /dev/null 2>&1
+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