ignore-value: make ignore_value more generic; deprecate ignore_ptr

[gnulib.git] / config / srclist.txt

diff --git a/config/srclist.txt b/config/srclist.txt
index 941a2b0..39ea0f5 100644 (file)
--- a/config/srclist.txt
+++ b/config/srclist.txt
@@ -4,6 +4,7 @@
 $GNUCONFIG/config.guess                build-aux
 $GNUCONFIG/config.sub          build-aux
 #
+$AUTOMAKE/lib/ar-lib           build-aux
 $AUTOMAKE/lib/compile          build-aux
 $AUTOMAKE/lib/depcomp          build-aux
 $AUTOMAKE/lib/elisp-comp       build-aux
@@ -36,7 +37,6 @@ $GNUWWWLICENSES/old-licenses/gpl-2.0.texi     doc
 $GNUWWWLICENSES/old-licenses/fdl-1.2.texi      doc
 $GNUWWWLICENSES/agpl-3.0.texi                  doc
 $GNUWWWLICENSES/fdl-1.3.texi                   doc
-$GNUWWWLICENSES/fdl-1.3.texi                   doc/fdl.texi
 $GNUWWWLICENSES/gpl-3.0.texi                   doc
 $GNUWWWLICENSES/lgpl-3.0.texi                  doc
 #