Re: Links to web pages are broken.

2022-11-11 Thread Martin Liška
On 11/11/22 13:14, Georg-Johann Lay wrote: > > > Am 11.11.22 um 09:48 schrieb Martin Liška: >> On 11/10/22 18:01, Jonathan Wakely wrote: >>> Maybe just "docs" or "trunkdocs" or "latestdocs" instead of >>> "onlinedocs-new", since that is (1) very long, and (2) will look silly >>> in ten years when

Re: Links to web pages are broken.

2022-11-11 Thread Georg-Johann Lay
Am 11.11.22 um 09:48 schrieb Martin Liška: On 11/10/22 18:01, Jonathan Wakely wrote: Maybe just "docs" or "trunkdocs" or "latestdocs" instead of "onlinedocs-new", since that is (1) very long, and (2) will look silly in ten years when it's not new and we need to add onlinedocs-even-newer 😉 I

Re: Links to web pages are broken.

2022-11-11 Thread Martin Liška
On 11/10/22 18:01, Jonathan Wakely wrote: > Maybe just "docs" or "trunkdocs" or "latestdocs" instead of > "onlinedocs-new", since that is (1) very long, and (2) will look silly > in ten years when it's not new and we need to add > onlinedocs-even-newer 😉 I do support it, it would be probably nicer

Re: Links to web pages are broken.

2022-11-10 Thread Jonathan Wakely via Gcc
On Thu, 10 Nov 2022 at 16:58, Richard Biener wrote: > > > > > Am 10.11.2022 um 17:45 schrieb Georg-Johann Lay : > > > >  > > > >> Am 10.11.22 um 16:25 schrieb Jonathan Wakely: > >>> On Thu, 10 Nov 2022 at 15:23, Jonathan Wakely wrote: > >>> > >>> On Thu, 10 Nov 2022 at 15:17, Georg-Johann Lay w

Re: Links to web pages are broken.

2022-11-10 Thread Richard Biener via Gcc
> Am 10.11.2022 um 17:45 schrieb Georg-Johann Lay : > >  > >> Am 10.11.22 um 16:25 schrieb Jonathan Wakely: >>> On Thu, 10 Nov 2022 at 15:23, Jonathan Wakely wrote: >>> >>> On Thu, 10 Nov 2022 at 15:17, Georg-Johann Lay wrote: Am 10.11.22 um 16:05 schrieb Martin Lišk

Re: Links to web pages are broken.

2022-11-10 Thread Georg-Johann Lay
Am 10.11.22 um 16:25 schrieb Jonathan Wakely: On Thu, 10 Nov 2022 at 15:23, Jonathan Wakely wrote: On Thu, 10 Nov 2022 at 15:17, Georg-Johann Lay wrote: Am 10.11.22 um 16:05 schrieb Martin Liška: On 11/10/22 15:45, Georg-Johann Lay wrote: Hi, I just observed that links like https://

Re: Links to web pages are broken.

2022-11-10 Thread Jonathan Wakely via Gcc
On Thu, 10 Nov 2022 at 15:23, Jonathan Wakely wrote: > > On Thu, 10 Nov 2022 at 15:17, Georg-Johann Lay wrote: > > > > > > > > Am 10.11.22 um 16:05 schrieb Martin Liška: > > > On 11/10/22 15:45, Georg-Johann Lay wrote: > > >> Hi, I just observed that links like > > >> > > >> https://gcc.gnu.org/i

Re: Links to web pages are broken.

2022-11-10 Thread Jonathan Wakely via Gcc
On Thu, 10 Nov 2022 at 15:17, Georg-Johann Lay wrote: > > > > Am 10.11.22 um 16:05 schrieb Martin Liška: > > On 11/10/22 15:45, Georg-Johann Lay wrote: > >> Hi, I just observed that links like > >> > >> https://gcc.gnu.org/install/configure.html > >> > >> ceased to work. Presumably this is to sph

Re: Links to web pages are broken.

2022-11-10 Thread Georg-Johann Lay
Am 10.11.22 um 16:05 schrieb Martin Liška: On 11/10/22 15:45, Georg-Johann Lay wrote: Hi, I just observed that links like https://gcc.gnu.org/install/configure.html ceased to work.  Presumably this is to sphinx stuff, but it would be great if not hundreds of links across the web to GCC pag

Re: Links to web pages are broken.

2022-11-10 Thread Martin Liška
On 11/10/22 15:45, Georg-Johann Lay wrote: Hi, I just observed that links like https://gcc.gnu.org/install/configure.html ceased to work.  Presumably this is to sphinx stuff, but it would be great if not hundreds of links across the web to GCC pages like the above would be 404. I know that th

Links to web pages are broken.

2022-11-10 Thread Georg-Johann Lay
Hi, I just observed that links like https://gcc.gnu.org/install/configure.html ceased to work. Presumably this is to sphinx stuff, but it would be great if not hundreds of links across the web to GCC pages like the above would be 404. I know that the new link is https://gcc.gnu.org/install