[gnu.org #858034] Re: Broken links to online gcc manual

2013-09-21 Thread Niels Möller
Jonathan Wakely writes: > On 21 September 2013 09:11, Niels Möller wrote: >> 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: After a night's sleep, I realize that most l

Re: Broken links to online gcc manual

2013-09-21 Thread Jonathan Wakely
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/softw

Broken links to online gcc manual

2013-09-21 Thread Niels Möller
I tried to find the gcc manual online, and it was harder than I expected. The page https://www.gnu.org/software/gcc/ links to https://www.gnu.org/software/gcc/onlinedocs/, which is dead (404 Not found). And the long list at https://www.gnu.org/manual/ links to http://gcc.gnu.org/onlinedocs/gcc/, w