Re: copyright notice on the 'INSTALL' file (proposed autoconf patch)

[Richard Stallman]

Thanks for noticing the problem.

    +The @file{INSTALL} file is free documentation; the Free Software
    +Foundation gives unlimited permission to copy, distribute and modify it.

There are two possibilities.  If the file is big enough, it should use
the GFDL.  Otherwise, what you have in mind is basically right, but
this isn't the right way to word it.  How big is the file?