From: Karl Berry <karl@freefriends.org>
Date: Tue, 20 Jan 2004 13:59:25 +0000 (+0000)
Subject: GNUWWWLICENSES for karl.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f7f7d2e39fdd3ade4b0c0390d324ecc55b51bbc2;p=pspp

GNUWWWLICENSES for karl.
---

diff --git a/config/srclistvars.sh b/config/srclistvars.sh
index 0018122e89..9785b088a9 100644
--- 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}