Do you really care whether any of the following files (the only ones
affected in gnulib) contain an CVS/RCS-style $Id...$ string?
COPYING
COPYING has no $Id$. What am I missing?
config/srclist-update
config/srclist.txt
config/srclistvars.sh
doc/Makefile
doc/gnulib.texi
I believe I am the one who inserted the $Id$'s in all the above files,
and I don't mind if you remove them, although honestly I don't see a
problem with them. Those files are not copied around between
hierarchies, by their nature.
gnulib-tool
That's for Bruno, I expect.
karl
