upgrade

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 3be1b00a10aba6ac78eaef9493114df253ca1a27..f8f012179bea94afd922f8f1bbd354c0e0ca3e8e 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -551,7 +551,8 @@ docgeneration="OFF"
         echo "creaRigidRegistration_DIR :" $creaRigidRegistration_DIR
         echo "bbtkGEditor_DIR :          " $bbtkGEditor_DIR
         echo "creaTools_DIR :            " $creaTools_DIR
-        echo "creaMiniTools_DIR :        " $creaMiniTools_DIR                              
+        echo "creaMiniTools_DIR :        " $creaMiniTools_DIR
+        echo "Ido_DIR :                  " $Ido_DIR
         echo "==================================="
         echo
         echo "Press any key to continue"