From: Karl Berry <karl@freefriends.org>
Date: Sun, 10 Oct 2004 22:32:37 +0000 (+0000)
Subject: get gnu std documents from new gnustandards project at savannah
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0b3835fb1895679fdf6fab79c40b7badccfe8d1;p=pspp

get gnu std documents from new gnustandards project at savannah
---

diff --git a/config/srclist.txt b/config/srclist.txt
index f69715939d..ba55e3e1b0 100644
--- a/config/srclist.txt
+++ b/config/srclist.txt
@@ -1,4 +1,4 @@
-# $Id: srclist.txt,v 1.48 2004-10-04 13:29:13 jas Exp $
+# $Id: srclist.txt,v 1.49 2004-10-10 22:32:37 karl Exp $
 # Files for which we are not the source.  See ./srclistvars.sh for the
 # variable definitions.
 
@@ -19,9 +19,9 @@ $GNUWWWLICENSES/fdl.texi	doc
 $GNUWWWLICENSES/gpl.texi	doc
 $GNUWWWLICENSES/lgpl.texi	doc
 #
-$GNUORG/maintain.texi		doc
-$GNUORG/standards.texi		doc
-$GNUORG/make-stds.texi		doc
+$GNUSTANDARDS/maintain.texi	doc
+$GNUSTANDARDS/standards.texi	doc
+$GNUSTANDARDS/make-stds.texi	doc
 
 $GETTEXT/gettext-runtime/libasprintf/asnprintf.c	lib gpl
 $GETTEXT/gettext-runtime/libasprintf/asprintf.c		lib gpl
diff --git a/config/srclistvars.sh b/config/srclistvars.sh
index b4ee29cf7a..79c10e66f3 100644
--- a/config/srclistvars.sh
+++ b/config/srclistvars.sh
@@ -1,4 +1,4 @@
-# $Id: srclistvars.sh,v 1.18 2004-09-22 22:00:36 karl Exp $
+# $Id: srclistvars.sh,v 1.19 2004-10-10 22:32:37 karl Exp $
 # Variables for srclist-update and srclist.txt.
 # Will change for each user.
 
@@ -25,6 +25,7 @@ karl)
   : ${GNUCONFIG=$HOME/gnu/src/config}
   : ${GNULIBSRC=$HOME/gnu/src/gnulib}
   : ${GNUORG=$HOME/gnu/gnuorg}
+  : ${GNUSTANDARDS=$HOME/gnu/src/gnustandards}
   : ${GNUWWWLICENSES=$HOME/gnu/www/www/licenses}
   : ${LIBCSRC=$HOME/gnu/src/libc}
   : ${LIBTOOL=$HOME/gnu/src/libtool}