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

[Paul Eggert]

> From: Richard Stallman <[EMAIL PROTECTED]>
> Date: Thu, 16 Aug 2001 15:30:47 -0600 (MDT)
> 
> Please put the copyright notice and permission notice at the top of
> the file.

OK, I moved them to the top of the INSTALL file.

PS to autoconf: I finally got remote CVS working from my home machine
to the autoconf repository at subversions (or is it savannah?), which
means I no longer need to bother other autoconf maintainers to install
minor changes like this one.