This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: downloading GCC documentation
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- To: phil at ipal dot net
- Cc: gcc at gnu dot org
- Date: Sat, 24 May 2003 11:51:29 +0200 (CEST)
- Subject: Re: downloading GCC documentation
- References: <20030508205616.GA1298@aludra>
On Thu, 8 May 2003 phil@ipal.net wrote:
> It would be nice if there was a link to allowing downloading the full
> GCC documentation tree as a tar.gz file. I have looked on the following
> pages and do not see such a link:
I had a look, and you should be able to download that using rsync
(http://gcc.gnu.org/rsync.html).
> I want to read the documentation while "offline" (literally, while my
> slow dialup modem is busy downloading the latest of everything, which is
> usually the case 95% of the time) in my web browser. Alternatively,
> "one big HTML file" could work, although I suspect that would be
> unwieldy for something the scale of GCC. But I think the tar.gz thing
> should be readily doable.
This is one of those issues where you provide something (useful) and
people keep asking for more and more and more. :-}
Have you considered using the .info docs that we ship as part of releases
(and which you can build yourself when bootstrapping GCC as well)?
There are now nice info readers such as tkInfo, and thanks to a patch by
Mike Stump, for future versions of GCC you'll be able to easily generate
the HTML versions yourself by a simple `make html`.
> Further, the web server on gcc.gnu.org does not give a Last-modified
> header, so wget always retrieves each file all over again on each pass.
I have reported this to the gcc.gnu.org admins.
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.pfeifer.com/gerald/