GNUWWWLICENSES for karl.

diff --git a/config/srclistvars.sh b/config/srclistvars.sh
index 0018122e893f5ac5307550e0fe95530301565fa6..9785b088a9f7423a2e04cf113e374053b55fa5ee 100644 (file)
--- a/config/srclistvars.sh
+++ b/config/srclistvars.sh
@@ -1,4 +1,4 @@
-# $Id: srclistvars.sh,v 1.12 2004-01-18 14:54:16 karl Exp $
+# $Id: srclistvars.sh,v 1.13 2004-01-20 13:59:25 karl Exp $
 # Variables for srclist-update and srclist.txt.
 # Will change for each user.
 
@@ -22,7 +22,7 @@ karl)
   : ${GNUBIN=/usr/local/gnu/bin}
   : ${GNUCONFIG=$HOME/gnu/src/config}
   : ${GNULIBSRC=$HOME/gnu/src/gnulib}
-  : ${GNUWWWLICENSES=$HOME/gnu/www/licenses}
+  : ${GNUWWWLICENSES=$HOME/gnu/www/www/licenses}
   : ${LIBCSRC=$HOME/gnu/src/libc}
   : ${TEXINFOSRC=/u/texinfo/src}
   : ${TEXMFROOT=/usr/local/texmf/texmf}