+ ;;
+
+karl)
+ : ${ACLOCAL=/usr/local/gnu/share/aclocal}
+ : ${AUTOCONF=$HOME/gnu/src/autoconf}
+ : ${AUTOMAKE=$HOME/gnu/src/automake}
+ : ${EMACSSRC=$HOME/gnu/src/emacs}
+ : ${GETTEXT=$HOME/gnu/src/gettext}
+ : ${GNUBIN=/usr/local/gnu/bin}
+ : ${GNUCONFIG=$HOME/gnu/src/config}
+ : ${GNULIBSRC=$HOME/gnu/src/gnulib}
+ : ${GNUSTANDARDS=$HOME/gnu/src/gnustandards}
+ : ${GNUWWWLICENSES=$HOME/gnu/www/www/licenses}
+ : ${LIBCSRC=$HOME/gnu/src/libc}
+ : ${LIBTOOL=$HOME/gnu/src/libtool}
+ : ${TEXINFOSRC=/u/texinfo/src}
+ : ${TEXMFROOT=/usr/local/texmf/texmf-dist}
+ ;;