changeset 5335:7d27347df06b

get gnu std documents from new gnustandards project at savannah
author Karl Berry <karl@freefriends.org>
date Sun, 10 Oct 2004 22:32:37 +0000
parents c6b509e118ef
children 0c989f08ae3d
files config/srclist.txt config/srclistvars.sh
diffstat 2 files changed, 6 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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/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
--- 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 @@
   : ${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}