: ${GNUCONFIG=$HOME/gnu/src/config}
: ${GNULIBSRC=$HOME/gnu/src/gnulib}
: ${GNUORG=$HOME/gnu/gnuorg}
: ${GNUCONFIG=$HOME/gnu/src/config}
: ${GNULIBSRC=$HOME/gnu/src/gnulib}
: ${GNUORG=$HOME/gnu/gnuorg}
: ${LIBCSRC=$HOME/gnu/src/libc}
: ${TEXINFOSRC=/u/texinfo/src}
: ${TEXMFROOT=/usr/local/texmf/texmf}
: ${LIBCSRC=$HOME/gnu/src/libc}
: ${TEXINFOSRC=/u/texinfo/src}
: ${TEXMFROOT=/usr/local/texmf/texmf}