# echo "set-emacs-paths.csh -- version J. Stolfi"
# Last edited on 2008-01-14 09:47:20 by stolfi

setenv EMACS_ELISP "elisp-20"

setenv EMACS_EXTRA_PATH "${STOLFIHOME}/${EMACS_ELISP}"

setenv INFO_EXTRA_PATH "${STOLFIHOME}/info"
setenv INFO_EXTRA_PATH "${INFO_EXTRA_PATH}:${STOLFIHOME}/${EMACS_ELISP}/info"

