This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to move some installation documentation
- To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Subject: Re: Patch to move some installation documentation
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Sat, 2 Jun 2001 15:46:22 +0200 (CEST)
- cc: <gcc-patches at gcc dot gnu dot org>
On Sat, 2 Jun 2001, Joseph S. Myers wrote:
> This patch moves some documentation from the old install manual to the
> new one. It passes "make info" and "make dvi". OK to commit?
>
> 2001-06-02 Joseph S. Myers <jsm28@cam.ac.uk>
>
> * doc/install-old.texi: Remove documentation of some configuration
> options.
> * doc/install.texi: Add relevant parts of this documentation here.
Yes, certainly!
In fact, Joseph, consider anything concerning such a move preapproved.
Thanks,
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/