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: DJ Delorie <dj at redhat dot com>
- Subject: Re: PATCH: new script gcc/doc/install.texi2html
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Fri, 8 Jun 2001 12:15:50 +0200 (CEST)
- cc: <gcc-patches at gcc dot gnu dot org>, "Joseph S. Myers" <jsm28 at cam dot ac dot uk>, Mark Mitchell <mark at codesourcery dot com>
On Thu, 7 Jun 2001, DJ Delorie wrote:
> The docs have been moved to gcc/doc/ in 3.0.
Great, thanks!
All that should be needed, then, to generate documentation as part of a
GCC build is the following, put into the right right place, to populate
the $srcdir/INSTALL directory from $srcdir/gcc/doc/install.texi:
SOURCEDIR=$srcdir
DESTDIR=$srcdir/INSTALL
$srcdir/gcc/doc/install.texi2html
(Yes, this is a maintainer mode operation, though I don't know how to
best deal with that...)
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/