: ${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}
: ${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}