This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
Re: install.texi
- From: Mohan Embar <gnustuff at thisiscool dot com>
- To: Ranjit Mathew <rmathew at hotmail dot com>
- Cc: GCJ Patches <java-patches at gcc dot gnu dot org>
- Date: Mon, 19 Jan 2004 07:46:02 -0600
- Subject: Re: install.texi
- Reply-to: gnustuff at thisiscool dot com
Hi Ranjit,
>I don't know of a "better" way, but *one* way is:
>
> makeinfo --html --no-split -D configurehtml install.texi
>
>(See "install.texi" for exactly why the "configurehtml"
>definition is needed.)
This worked! Thanks.
-- Mohan
http://www.thisiscool.com/
http://www.animalsong.org/