Remove redundant semicolon ;

diff --git a/web/upload.sh b/web/upload.sh
index 3f3d6aa..fb6fc36 100755 (executable)
--- a/web/upload.sh
+++ b/web/upload.sh
@@ -2,7 +2,7 @@
 
 if [ "${PWD##*/}" != "web" ] ; then
   echo $0 must be called from directory \"web\"
-  exit 1;
+  exit 1
 fi
 
 # later we can include user manual