On 21 September 2013 09:11, Niels Möller wrote: > I tried to find the gcc manual online, and it was harder than I > expected.
You can find them via www.gnu.org, or go straight to the GCC website, http://gcc.gnu.org/ > The page https://www.gnu.org/software/gcc/ links to > https://www.gnu.org/software/gcc/onlinedocs/, which is dead (404 Not > found). Works for me, I get a 302 redirect: GET /software/gcc/onlinedocs/ HTTP/1.1 Host: www.gnu.org HTTP/1.1 302 Found Date: Sat, 21 Sep 2013 11:16:08 GMT Server: Apache/2.2.14 Location: http://gcc.gnu.org/onlinedocs/ Vary: Accept-Encoding Content-Length: 282 Content-Type: text/html; charset=iso-8859-1 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN"> <html><head> <title>302 Found</title> </head><body> <h1>Found</h1> <p>The document has moved <a href="http://gcc.gnu.org/onlinedocs/";>here</a>.</p> <hr> <address>Apache/2.2.14 Server at www.gnu.org Port 80</address> </body></html> > And the long list at https://www.gnu.org/manual/ links to > http://gcc.gnu.org/onlinedocs/gcc/, which also is dead (also 404). Also works for me, although it's very slow to establish a connection today: GET /onlinedocs/gcc/ HTTP/1.1 Host: gcc.gnu.org HTTP/1.1 200 OK Date: Sat, 21 Sep 2013 11:18:40 GMT Server: Apache Last-Modified: Wed, 18 Sep 2013 01:00:53 GMT ETag: "ec024e-bce0-4e69df8126122" Accept-Ranges: bytes Content-Length: 48352 Vary: Accept-Encoding Connection: close Content-Type: text/html; charset=utf-8 <html lang="en"> <head> <title>Using the GNU Compiler Collection (GCC)</title> [...] > Not sure if the problem is on the gcc or gnu side of the web, or both. If there was a problem it's fixed, but could it be a problem with a web proxy on your side?
