academic/sage/profile.d/sage.csh


1
2
3
4
5

#!/bin/csh
# Add SAGE_ROOT path and MANPATH for Sage:
setenv SAGE_ROOT SAGEROOT
set path = ( $path ${SAGE_ROOT} )
setenv MANPATH ${MANPATH}:${SAGE_ROOT}/local/man:${SAGE_ROOT}/local/share/man