-# $Id: srclistvars.sh,v 1.15 2004-03-09 19:42:23 eggert Exp $
+# $Id: srclistvars.sh,v 1.16 2004-06-22 18:28:25 eggert Exp $
# Variables for srclist-update and srclist.txt.
# Will change for each user.
: ${GNUCONFIG=../config}
: ${GNUORG=../gnuorg}
: ${GNUWWWLICENSES=$GNUORG}
+ : ${LIBTOOL=../libtool}
: ${LIBCSRC=../libc}
: ${TEXINFOSRC=../texinfo}
;;