-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

According to Ralf Wildenhues on 12/8/2007 2:55 AM:
> 
> Can somebody suggest something nicer than manual copying out of a
> checked-out tree?  Alternatively, may I put INSTALL back in git?

Even though we recently got rid of most of the generated files (INSTALL is
generated from doc/install.texi), I agree that leaving INSTALL in the tree
so that other projects can grab the most recent compiled version without
having to run makeinfo on install.texi seems reasonable.  gnulib also
lists $AUTOCONF/INSTALL as one of the files it tries to sync from upstream.

- --
Don't work too hard, make some time for fun as well!

Eric Blake             [EMAIL PROTECTED]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Cygwin)
Comment: Public key at home.comcast.net/~ericblake/eblake.gpg
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFHXUAV84KuGfSFAYARAu7wAKCA2Nxd7jauESJlvqCvoHvsTNa9QQCaA1GS
MRtVIf0/IAuG8Mwc6AXKpsg=
=Fyms
-----END PGP SIGNATURE-----


Reply via email to