_bash_profile_addpath MANPATH "$arch/man"
done
done
-_bash_profile_addpath -f -s CVSROOT "short@vellum.cz:/home/short/pserver/cvs" # default
+_bash_profile_addpath -f -s CVSROOT ":pserver:pserver:@cvs.jankratochvil.net/cvs" # default
[ -n "$JAVA_HOME" ] && _bash_profile_addpath PATH "$JAVA_HOME/bin"
_bash_profile_addpath -s CVSROOT "$HOME/pserver/cvs"
_bash_profile_addpath -s CVSROOT "$HOME/cvs"