Automatic whitespace adjustments by my editor

Scripts/developer_scripts/cgal_create_release_with_cmake.cmake

@@ -3,7 +3,7 @@
 # DESTINATION the path where the release is created, default is /tmp
 # PUBLIC=[ON/OFF] indicates if a public release should be built, default is OFF
 # VERBOSE=[ON/OFF] makes the script more verbose, default is OFF
-# CGAL_VERSION=release id used to update version.h, VERSION and the release directory. Can be 4.12-Ic-33, 4.12-I-32, 4.12, ... 
+# CGAL_VERSION=release id used to update version.h, VERSION and the release directory. Can be 4.12-Ic-33, 4.12-I-32, 4.12, ...
 #   Must be followed by -beta<beta_number> if the release is a beta.
 # CGAL_VERSION_NR=release string used to update version.h. Must be something like 1041200033 , or 10412009<beta number>0
 # TESTSUITE=indicate if the release is meant to be used by the testsuite, default if OFF

Scripts/developer_scripts/create_new_release

@@ -99,7 +99,7 @@ while [ $1 ]; do
             continue
         ;;
         --dest)
-            shift 
+            shift
             DESTINATION=$1
             shift;continue
         ;;
@@ -111,7 +111,7 @@ while [ $1 ]; do
             printerr "Unrecognized option : $1"
             exit
         ;;
-        *) 
+        *)
             if [ -z "$SOURCES_DIR_HAS_BEEN_SET" ]; then
                 SOURCES_DIR="$1"
                 SOURCES_DIR_HAS_BEEN_SET=y
@@ -159,7 +159,7 @@ if [ -z "$VERBOSE" ]; then
   exec 3>&1 >> ${LOGFILE}
 fi
 
-# Verbose: displays all executed commands 
+# Verbose: displays all executed commands
 #PS4='[${LINENO}]+ '
 #set -x
 
@@ -189,7 +189,7 @@ else
 fi
 
 # Do not show the bugfix number if it is 0.
-if [ x"$BUGFIX_NUMBER" != "x0" ]; then 
+if [ x"$BUGFIX_NUMBER" != "x0" ]; then
     BUGFIX_STRING=".$BUGFIX_NUMBER"
 else
     BUGFIX_STRING=""