#! /bin/csh -f
# Last edited on 2003-10-12 12:37:48 by stolfi
# Tries to run emacs version 19 with a 14-pt bold font:

setenv EMACS_VERSION 19.30
setenv EMACS_PUB /n/gnu/emacs-${EMACS_VERSION}
setenv EMACS_EXTRA_PATH "/home/staff/stolfi/elisp-${EMACS_VERSION}:/home/staff/stolfi/PUB/elisp-${EMACS_VERSION}:/home/staff/stolfi/PUB/elisp-${EMACS_VERSION}/mandel"

setenv MANPATH `echo ${MANPATH} | sed -e 's:/n/gnu/emacs-[0-9.]*:'${EMACS_PUB}':g'`
setenv PATH `echo ${PATH} | sed -e 's:/n/gnu/emacs-[0-9.]*:'${EMACS_PUB}':g'`

/n/gnu/emacs-${EMACS_VERSION}/bin/emacs \
    -i -geometry =90x39+72+60 \
    -name "${USER}.`getgroup`@`/bin/uname -n`" \
    -font '-adobe-courier-bold-r-*-*-*-180-*-*-*-*-iso8859-1' \
    $*