copyright notice on gnulib/doc/regexprops-generic.texi?

[Paul Eggert]

There's one more gnulib file that lacks a copyright notice:
gnulib/doc/regexprops-generic.texi.  I'm wondering: who uses that
file?  (There's no ChangeLog entry for it.)  If the file's not needed,
I'm inclined to remove it, along with gnulib/doc/README.

But if it is needed we should probably get the licensing issues
straight with findutils (which is still using a pre-FDL license for
documentation), and we should be generating it automatically from
findutils, and so forth.  Or, if that's too much work, at least we
should put in a patch like this:

2006-08-14  Paul Eggert  <address@hidden>

        * doc/regexprops-generic.texi: Add copyright notice.

--- doc/regexprops-generic.texi.~1.1.~  2005-07-26 17:16:01.000000000 -0700
+++ doc/regexprops-generic.texi 2006-08-14 16:37:11.000000000 -0700
@@ -1,3 +1,15 @@
address@hidden Generic GNU regex documentation
+
address@hidden Copyright (C) 1994, 1996, 1998, 1999, 2000, 2001, 2002, 2003, 
2004,
address@hidden 2005, 2006 Free Software Foundation, Inc.
+
address@hidden Permission is granted to copy, distribute and/or modify this 
document
address@hidden under the terms of the GNU Free Documentation License, Version 
1.2 or
address@hidden any later version published by the Free Software Foundation; 
with no
address@hidden Invariant Sections, with no Front-Cover Texts, and with no 
Back-Cover
address@hidden Texts.  A copy of the license is included in the ``GNU Free
address@hidden Documentation License'' file as part of this distribution.
+
 @menu
 * awk regular expression syntax::
 * egrep regular expression syntax::