From: Karl Berry <karl@freefriends.org>
Date: Tue, 3 May 2005 13:04:30 +0000 (+0000)
Subject: get COPYING* from gnuorg, hopefully
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=24ab7664ae8d73362972e6748237df5cb1c72827;p=pspp

get COPYING* from gnuorg, hopefully
---

diff --git a/config/srclist.txt b/config/srclist.txt
index 8725a69b30..e67476af05 100644
--- a/config/srclist.txt
+++ b/config/srclist.txt
@@ -1,4 +1,4 @@
-# $Id: srclist.txt,v 1.59 2005-03-22 15:12:21 haible Exp $
+# $Id: srclist.txt,v 1.60 2005-05-03 13:04:30 karl Exp $
 # Files for which we are not the source.  See ./srclistvars.sh for the
 # variable definitions.
 
@@ -19,6 +19,10 @@ $GNUWWWLICENSES/fdl.texi	doc
 $GNUWWWLICENSES/gpl.texi	doc
 $GNUWWWLICENSES/lgpl.texi	doc
 #
+$GNUORG/COPYING			doc
+$GNUORG/COPYING.LIB		doc
+$GNUORG/COPYING.DOC		doc
+#
 $GNUSTANDARDS/maintain.texi	doc
 $GNUSTANDARDS/standards.texi	doc
 $GNUSTANDARDS/make-stds.texi	doc