This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to clean up Texinfo markup of doc/install.texi
- To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Subject: Re: Patch to clean up Texinfo markup of doc/install.texi
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Sat, 2 Jun 2001 20:13:38 +0200 (CEST)
- cc: <gcc-patches at gcc dot gnu dot org>
On Sat, 2 Jun 2001, Joseph S. Myers wrote:
> 2001-06-02 Joseph S. Myers <jsm28@cam.ac.uk>
>
> * doc/install.texi: Clean up Texinfo markup.
Most excellent! I had hacked some of these in a local tree, but by
far not as much as this yet.
Please commit this to both branches!
(Unfortunately, I have the script doing the conversion to HTML on my box
at home, but I'll try to give it a spin tonight or tomorrow morning.
Hopefully the new markup results in good HTML as well...)
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/