path: root/academic/sage/profile.d/sage.csh

#!/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