This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH: new script gcc/doc/install.texi2html
- To: Mark Mitchell <mark at codesourcery dot com>
- Subject: Re: PATCH: new script gcc/doc/install.texi2html
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Date: Mon, 4 Jun 2001 20:28:26 +0100 (BST)
- cc: <pfeifer at dbai dot tuwien dot ac dot at>, <gcc-patches at gcc dot gnu dot org>
On Mon, 4 Jun 2001, Mark Mitchell wrote:
> If the generated HTML files should go in the source tarballs, then the
> way to accomplish that is to make running this script part of `make
> bootstrap'. That seems pretty sensible to me; we might as well build
> all the documentation as part of `make bootstrap'. It doesn't take
> long, and it's not like it's very big; the .info files add up to about
> 30K.
>
> What do you think about that?
This would make sense; we have the configure support for detecting
suitable makeinfo versions, but the script would then need more attention
to portability (e.g., can we assume a POSIX mkdir that supports -p?).
--
Joseph S. Myers
jsm28@cam.ac.uk