X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fsrclistvars.sh;h=b4ee29cf7a7d1bb42c2a2fe373604a440f9a35cc;hb=94e8d86cdd1e465dff64fc8e7988fa9b634d918d;hp=3a0d0c6631f65a02605a17cf1d5bf803e9e3ad91;hpb=1faf5f683adb379bd2c2b3933c7f0c8778998bd3;p=pspp

diff --git a/config/srclistvars.sh b/config/srclistvars.sh
index 3a0d0c6631..b4ee29cf7a 100644
--- a/config/srclistvars.sh
+++ b/config/srclistvars.sh
@@ -1,4 +1,4 @@
-# $Id: srclistvars.sh,v 1.17 2004-06-23 17:20:59 karl Exp $
+# $Id: srclistvars.sh,v 1.18 2004-09-22 22:00:36 karl Exp $
 # Variables for srclist-update and srclist.txt.
 # Will change for each user.
 
@@ -17,7 +17,7 @@ eggert)
 
 karl)
   : ${ACLOCAL=/usr/local/gnu/share/aclocal}
-  : ${AUTOCONF=/usr/local/gnu/share/autoconf}
+  : ${AUTOCONF=$HOME/gnu/src/autoconf}
   : ${AUTOMAKE=$HOME/gnu/src/automake}
   : ${EMACSSRC=$HOME/gnu/src/emacs}
   : ${GETTEXT=$HOME/gnu/src/gettext}