#! /bin/bash
# echo "set-emacs-paths.bash -- version J. Stolfi"
# Last edited on 2024-09-29 15:38:49 by stolfi

export EMACS_ELISP="elisp"

export EMACS_EXTRA_PATH="${STOLFIHOME}/${EMACS_ELISP}"

export INFO_EXTRA_PATH="/usr/share:/usr/share/info:${STOLFIHOME}/info:${STOLFIHOME}/${EMACS_ELISP}/info"
export INFOPATH="${INFOPATH}:${INFO_EXTRA_PATH}"