--- 00basic.old 2006-06-15 12:39:44.000000000 +0200 +++ 00basic 2006-06-15 12:40:22.000000000 +0200 @@ -5,7 +5,7 @@ ROOTPATH="/opt/bin" LDPATH="/usr/local/lib" MANPATH="/usr/local/share/man:/usr/share/man" -INFOPATH="/usr/share/info" +INFOPATH="/usr/local/info:/usr/share/info" CVS_RSH="ssh" PAGER="/usr/bin/less" LESSOPEN="|lesspipe.sh %s"