--- ciao-1.10p8/etc/DOTprofile.skel	2004-12-06 05:32:15.000000000 +0100
+++ ciao-1.10p8.n/etc/DOTprofile.skel	2009-02-24 15:57:49.000000000 +0100
@@ -3,20 +3,6 @@
 # This file is meant for inclusion in user initialization scripts
 # --------------------------------------------------------------------
 #
-# Setting paths for the executables:
-#
-CIAOBINDIR=binary_directory
-
-if [ ${PATH:-0} = 0 ]
-then
-    PATH=${CIAOBINDIR} ; export PATH
-else
-    case ${PATH} in
-	${CIAOBINDIR}:* | *:${CIAOBINDIR} | *:${CIAOBINDIR}:* ) ;;
-	* )
-	    PATH=${CIAOBINDIR}:${PATH} ;;
-    esac
-fi
 
 #
 # Setting engine related paths: 
@@ -47,30 +33,6 @@
 # command line), the unix man command, etc.
 # 
 CIAODOCDIR=documentation_directory ; export CIAODOCDIR
-# Set MANPATH (checking that we do not add it twice)
-# The colon at the end is needed so that default paths are found!
-if [ ${MANPATH:-0} = 0 ]
-then
-    MANPATH=${CIAODOCDIR}: ; export MANPATH
-else
-    case ${MANPATH} in
-	${CIAODOCDIR}:* | *:${CIAODOCDIR} | *:${CIAODOCDIR}:* ) ;;
-	* )
-	    MANPATH=${CIAODOCDIR}:${MANPATH} ;;
-    esac
-fi
-
-# Set INFOPATH (checking that we do not add it twice)
-if [ ${INFOPATH:-0} = 0 ]
-then
-    INFOPATH=/usr/info:/usr/share/info:/usr/local/info:${CIAODOCDIR} ; export INFOPATH
-else
-    case ${INFOPATH} in
-	${CIAODOCDIR}:* | *:${CIAODOCDIR} | *:${CIAODOCDIR}:* ) ;;
-	* )
-	    INFOPATH=${INFOPATH}:${CIAODOCDIR} ;;
-    esac
-fi
 # 
 # --------------------------------------------------------------------
 # 
--- ciao-1.10p8/etc/DOTcshrc.skel	2004-12-06 05:32:15.000000000 +0100
+++ ciao-1.10p8.n/etc/DOTcshrc.skel	2009-02-24 15:58:22.000000000 +0100
@@ -3,24 +3,6 @@
 # This file is meant for inclusion in user initialization scripts
 # --------------------------------------------------------------------
 #
-# Setting paths for the executables:
-#
-setenv CIAOBINDIR binary_directory
-if ( ${?PATH} == 0 ) then
-    setenv PATH ${CIAOBINDIR}
-else
-        switch (${PATH})
-	case ${CIAOBINDIR}:*:      # it is first one
-	     breaksw
-	case *:${CIAOBINDIR}:      # it is last one
-	     breaksw
-	case *:${CIAOBINDIR}:*:    # it is in the middle
-	     breaksw
-	default:
-	     setenv PATH ${CIAOBINDIR}:${PATH}
-	     breaksw
-	endsw
-endif
 #
 # Setting engine related paths: 
 # 
@@ -47,39 +29,6 @@
 # command line), the unix man command, etc.
 # 
 setenv CIAODOCDIR documentation_directory
-# Set MANPATH (checking that we do not add it twice)
-# The colon at the end is needed so that default paths are found!
-if ( ${?MANPATH} == 0 ) then
-        setenv MANPATH ${CIAODOCDIR}:
-else
-	switch (${MANPATH})
-	case ${CIAODOCDIR}:*:      # it is first one
-	     breaksw
-	case *:${CIAODOCDIR}:      # it is last one
-	     breaksw
-	case *:${CIAODOCDIR}:*:    # it is in the middle
-	     breaksw
-	default:
-	     setenv MANPATH ${CIAODOCDIR}:${MANPATH}
-	     breaksw
-	endsw
-endif
-# Set INFOPATH (checking that we do not add it twice)
-if ( ${?INFOPATH} == 0 ) then
-        setenv INFOPATH /usr/info:/usr/share/info:/usr/local/info:${CIAODOCDIR}
-else
-	switch (${INFOPATH})
-	case ${CIAODOCDIR}:*:      # it is first one
-	     breaksw
-	case *:${CIAODOCDIR}:      # it is last one
-	     breaksw
-	case *:${CIAODOCDIR}:*:    # it is in the middle
-	     breaksw
-	default:
-	     setenv INFOPATH ${INFOPATH}:${CIAODOCDIR}
-	     breaksw
-	endsw
-endif
 # 
 # --------------------------------------------------------------------
 #