Address some build/script problems.

See #74

Author: GJDuck

Makefile

@@ -94,7 +94,7 @@ install: all
 	install -m 755 e9tool "$(DESTDIR)/usr/bin/e9tool"
 	install -m 755 e9compile.sh "$(DESTDIR)/usr/bin/e9compile"
 	sed \
-	    -e 's/-I example/-I \/usr\/share\/e9compile\/include/g' e9compile.sh > \
+	    -e 's/-I examples/-I \/usr\/share\/e9compile\/include/g' e9compile.sh > \
 	    "$(DESTDIR)/usr/bin/e9compile"
 	chmod 555 "$(DESTDIR)/usr/bin/e9compile"
 	install -d "$(DESTDIR)/usr/share/doc/e9patch/"

build.sh

@@ -1,12 +1,27 @@
 #!/bin/bash
+#
+# Copyright (C) National University of Singapore
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 if [ -t 1 ]
 then
-    RED="\033[31m"
-    GREEN="\033[32m"
-    YELLOW="\033[33m"
-    BOLD="\033[1m"
-    OFF="\033[0m"
+    RED='\033[31m'
+    GREEN='\033[32m'
+    YELLOW='\033[33m'
+    BOLD='\033[1m'
+    OFF='\033[0m'
 else
     RED=
     GREEN=

e9compile.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# Copyright (C) 2022 National University of Singapore
+# Copyright (C) National University of Singapore
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -19,11 +19,11 @@ set -e
 
 if [ -t 1 ]
 then
-    RED="\033[31m"
-    GREEN="\033[32m"
-    YELLOW="\033[33m"
-    BOLD="\033[1m"
-    OFF="\033[0m"
+    RED='\033[31m'
+    GREEN='\033[32m'
+    YELLOW='\033[33m'
+    BOLD='\033[1m'
+    OFF='\033[0m'
 else
     RED=
     GREEN=

install.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 #
-# Copyright (C) 2023 National University of Singapore
+# Copyright (C) National University of Singapore
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -17,11 +17,11 @@
 
 if [ -t 1 ]
 then
-    RED="\033[31m"
-    GREEN="\033[32m"
-    YELLOW="\033[33m"
-    BOLD="\033[1m"
-    OFF="\033[0m"
+    RED='\033[31m'
+    GREEN='\033[32m'
+    YELLOW='\033[33m'
+    BOLD='\033[1m'
+    OFF='\033[0m'
 else
     RED=
     GREEN=