From 870eae3556a3ebab3b3d9976c0752fa4fc7c6916 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Thu, 18 Dec 2008 22:48:27 +0000
Subject: [PATCH] Remove a minor bug (a sort of warning from the shell).

---
 Scripts/developer_scripts/create_new_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/create_new_release b/Scripts/developer_scripts/create_new_release
index 36e91d238e9..41bed28a6fe 100755
--- a/Scripts/developer_scripts/create_new_release
+++ b/Scripts/developer_scripts/create_new_release
@@ -184,7 +184,7 @@ cd ..
 tar -cf "${release_name}.tar" "${release_name}"
 gzip "${release_name}.tar"
 cp "${release_name}.tar.gz" "${HTML_DIR}"
-if [ -z "${NO_TESTSUITE}"]; then
+if [ -z "${NO_TESTSUITE}" ]; then
   echo "${release_name}.tar.gz" > "${HTML_DIR}/LATEST"
 fi