X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fsrclist.txt;h=05ab7accdff69c4be42eeef4bc23b6393a56415d;hb=0cba35775b73cee99107fba2be2bf62036ad6c0c;hp=9596f0ef2696969c492aa8319c57e126f8c2ab9b;hpb=d5552a12223617b8593309f1a143ee015e381d70;p=pspp

diff --git a/config/srclist.txt b/config/srclist.txt
index 9596f0ef26..05ab7accdf 100644
--- a/config/srclist.txt
+++ b/config/srclist.txt
@@ -1,4 +1,4 @@
-# $Id: srclist.txt,v 1.120 2006-03-22 22:08:32 karl Exp $
+# $Id: srclist.txt,v 1.121 2006-04-13 13:59:24 karl Exp $
 # Files for which we are not the source.  See ./srclistvars.sh for the
 # variable definitions.
 
@@ -18,8 +18,8 @@ $AUTOCONF/INSTALL		doc
 $GNUWWWLICENSES/fdl.texi	doc
 $GNUWWWLICENSES/gpl.texi	doc
 $GNUWWWLICENSES/lgpl.texi	doc
-$GNUWWWLICENSES/COPYING		doc
-$GNUWWWLICENSES/COPYING.LESSER	doc
+$GNUWWWLICENSES/gpl.txt		doc
+$GNUWWWLICENSES/lgpl.txt	doc
 #
 $GNUSTANDARDS/maintain.texi	doc
 $GNUSTANDARDS/standards.texi	doc