From 2a4090b83bb65d1704833f695ffbb692b0e107d9 Mon Sep 17 00:00:00 2001
From: Daniel Carl <danielcarl@gmx.de>
Date: Tue, 25 Jun 2013 09:12:07 +0200
Subject: [PATCH] Changed js2h.sh to also remove spaces around '!' char.

This makes the hints.js.h file 6 bytes smaller, what a gain.
---
 src/js2h.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/js2h.sh b/src/js2h.sh
index 174d413..95ff77a 100755
--- a/src/js2h.sh
+++ b/src/js2h.sh
@@ -6,8 +6,8 @@ cat $1 | \
     tr '\n\r\t' ' ' | \
     sed -e "s| \+| |g" \
     -e "s|^//.*$||" \
-    -e "s| \([-?<>:=(){};+\&\"',\|]\)|\1|g" \
-    -e "s|\([-?<>:=(){};+\&\"',\|]\) |\1|g" \
+    -e "s| \([-!?<>:=(){};+\&\"',\|]\)|\1|g" \
+    -e "s|\([-!?<>:=(){};+\&\"',\|]\) |\1|g" \
     -e 's|\\|\\\\|g' \
     -e 's|"|\\"|g'
 echo '"'
-- 
2.20.1