This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: How to get GCC manual webpage in one gzip file
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- To: Xiang Zhang <xzhang at watercove dot com>
- Cc: "'gcc at gnu dot org'" <gcc at gnu dot org>
- Date: Fri, 11 Oct 2002 10:56:44 +0200 (CEST)
- Subject: Re: How to get GCC manual webpage in one gzip file
On Thu, 10 Oct 2002, Xiang Zhang wrote:
> Do you have or plan to have a gzip file that contains GCC manual in HTML
> format with one page for each section?
I don't think so, though I'm quite sure a patch to
maintainer-scripts/update_web_docs and onlinedocs.html
which implements this would be accepted.
Unless/until someone implements that, you could just read our
documentation in info format, for example using the nice tkInfo
browser.
Or, you could use wget or a similiar tool, to obtain a copy of
the respective parts of our web site.
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/