Rename tools dg- instead of sot-.

tools/CMakeLists.txt

+# Copyright 2010, Olivier Stasse, JRL, CNRS/AIST
 #
-#  Copyright
+# This file is part of dynamic-graph.
+# dynamic-graph is free software: you can redistribute it and/or
+# modify it under the terms of the GNU Lesser General Public License
+# as published by the Free Software Foundation, either version 3 of
+# the License, or (at your option) any later version.
 #
-
-### tools
-SET(tools
-	sot-shell
-)
-
-### Configure shell launch script
-CONFIGURE_FILE(${CMAKE_CURRENT_SOURCE_DIR}/sot-shell-plugin.cmake
-	       ${${PROJECT_NAME}_BINARY_DIR}/tools/sot-shell-plugin)
+# dynamic-graph is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Lesser Public License for more details.  You should have
+# received a copy of the GNU Lesser General Public License along with
+# dynamic-graph. If not, see <http://www.gnu.org/licenses/>.
+
+SET(tools dg-shell)
+
+# Configure shell launch script.
+CONFIGURE_FILE(${CMAKE_CURRENT_SOURCE_DIR}/dg-shell-plugin.cmake
+	       ${${PROJECT_NAME}_BINARY_DIR}/tools/dg-shell-plugin)
 INSTALL(
 	FILES
-		${${PROJECT_NAME}_BINARY_DIR}/tools/sot-shell-plugin
+		${${PROJECT_NAME}_BINARY_DIR}/tools/dg-shell-plugin
 	DESTINATION
 		 bin
 	PERMISSIONS OWNER_EXECUTE OWNER_WRITE OWNER_READ
-                      GROUP_EXECUTE GROUP_READ )
+                      GROUP_EXECUTE GROUP_READ)
 
 FOREACH(tool_name ${tools})
 	SET(EXECUTABLE_NAME ${tool_name})

tools/sot-shell-plugin.cmake → tools/dg-shell-plugin.cmake

@@ -3,4 +3,4 @@ tmp=`mktemp`
 echo "-- Launching dynamic-graph C shell with default plugins"
 echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-functions.so" > $tmp
 echo "loadPlugin ${CMAKE_INSTALL_PREFIX}/lib/plugin/shell-procedure.so" >> $tmp
-${CMAKE_INSTALL_PREFIX}/bin/sot-shell $tmp
+${CMAKE_INSTALL_PREFIX}/bin/dg-shell $tmp