Fix comment;

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 618a633fa0875960c59c8a5c72d0380150422cb1..7c1a0a10ba73b3397a4687488868590a0aa15ec4 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -60,7 +60,7 @@ do
 
   case $i in
   0)
-  
+
   # Do it, while we are under user, not under root! # JPR
              if [ -f $HOME/.bashrc ]
              then
@@ -75,7 +75,7 @@ do
                        read a # just to let the user time enough to read the message...
                     fi
           fi
-         
+
   clear
   suitable=XXX
   #ls -l  scripts/CreaTools-configure.sh
@@ -101,7 +101,7 @@ do
         then
            echo WARNING
            echo "the curently used Third Party libraries are NOT in $installPrefixThird but ... in :"
-           grep "installPrefixThird=" $ETC_BASHRC 
+           grep "installPrefixThird=" $ETC_BASHRC
            echo "VTK_DIR  : " $VTK_DIR
            echo "ITK_DIR  : " $ITK_DIR
            echo "GDCM_DIR : " $GDCM_DIR
@@ -210,9 +210,9 @@ then
               docgeneration="OFF"
            fi
            echo "you said : [" $docgeneration "]"
-         done
-         echo
-         echo
+        done
+        echo
+        echo
 fi
 
 docgeneration="OFF"
@@ -379,7 +379,7 @@ docgeneration="OFF"
   fi 
   ;;
   
-  1)    
+  1)
      echo "===================================at begin 1) ======ETC_BASHRC : " $ETC_BASHRC
      read a
      echo "========================== 1 "