changeset 4920:558ac8324865

GNUWWWLICENSES for karl.
author Karl Berry <karl@freefriends.org>
date Tue, 20 Jan 2004 13:59:25 +0000
parents 759a578edd98
children 46518fdf21f0
files config/srclistvars.sh
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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 @@
   : ${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}