From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 11 Oct 2004 05:02:17 +0000 (+0000)
Subject: Add GNUSTANDARDS (for eggert only).
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2544ecc3ffdc44a0209c951cac5267d134352780;p=pspp

Add GNUSTANDARDS (for eggert only).
---

diff --git a/config/srclistvars.sh b/config/srclistvars.sh
index 79c10e66f3..3cd0c113a8 100644
--- a/config/srclistvars.sh
+++ b/config/srclistvars.sh
@@ -1,4 +1,4 @@
-# $Id: srclistvars.sh,v 1.19 2004-10-10 22:32:37 karl Exp $
+# $Id: srclistvars.sh,v 1.20 2004-10-11 05:02:17 eggert Exp $
 # Variables for srclist-update and srclist.txt.
 # Will change for each user.
 
@@ -10,6 +10,7 @@ eggert)
   : ${GNUCONFIG=../config}
   : ${GNUORG=../gnuorg}
   : ${GNUWWWLICENSES=$GNUORG}
+  : ${GNUSTANDARDS=../gnustandards}
   : ${LIBTOOL=../libtool}
   : ${LIBCSRC=../libc}
   : ${TEXINFOSRC=../texinfo}