diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index 0fded757c31c82d3ae49c0558d1cc91d99f8a583..f2b85f70f02880914bb065f5b842af6b13082b0c 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -1,22 +1,30 @@
+# 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})
diff --git a/tools/sot-shell-plugin.cmake b/tools/dg-shell-plugin.cmake
similarity index 85%
rename from tools/sot-shell-plugin.cmake
rename to tools/dg-shell-plugin.cmake
index 6cb924858d52cdfed3f34db6607fdffaf28227ad..5a680046db9175682828f7ae9f099841b94f6807 100644
--- a/tools/sot-shell-plugin.cmake
+++ b/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
diff --git a/tools/sot-shell.cpp b/tools/dg-shell.cpp
similarity index 100%
rename from tools/sot-shell.cpp
rename to tools/dg-shell.cpp