Re: Makeinfo generates wrong link

2022-10-04 Thread Gavin Smith via Gcc
On Tue, Oct 04, 2022 at 01:39:04PM -0400, Richard Stallman wrote: > [[[ To any NSA and FBI agents reading my email: please consider]]] > [[[ whether defending the US Constitution against all enemies, ]]] > [[[ foreign or domestic, requires you to follow Snowden's example. ]]] > > > There

Re: Makeinfo generates wrong link

2022-10-03 Thread Gavin Smith via Gcc
On Mon, Oct 03, 2022 at 08:31:06AM +0100, Jonathan Wakely wrote: > On Mon, 3 Oct 2022 at 07:01, Gavin Smith via Gcc wrote: > > > > On Sun, Oct 02, 2022 at 09:06:06PM -0400, Richard Stallman wrote: > > > generates the following output: > > > > > >

Re: Makeinfo generates wrong link

2022-10-02 Thread Gavin Smith via Gcc
On Sun, Oct 02, 2022 at 09:06:06PM -0400, Richard Stallman wrote: > generates the following output: > > Some macros are predefined on each kind of machine > (see href="https://gcc.gnu.org/onlinedocs/gcc/System_002dspecific-Predefined-Macros.html#System_002dspecific-Predefined-Macros";>Sy

Copiable anchor links in gcc manual

2022-07-05 Thread Gavin Smith via Gcc
(Please CC bug-texi...@gnu.org in replies to this email.) The current gcc web documentation (for gcc 12.1, released May 2022) doesn't include copiable hyperlinks for some parts of the manual, as the manual was generated with an older version of Texinfo, 6.5: https://gcc.gnu.org/onlinedocs/gcc-12.

Re: Benefits of using Sphinx documentation format

2021-07-12 Thread Gavin Smith via Gcc
(Sending mail again, without attachments this time in the hope it gets through.) I had the discussion about moving documentation of gcc from Sphinx to Texinfo brought to my attention. https://gcc.gnu.org/pipermail/gcc/2021-July/236731.html Speaking as the Texinfo maintainer, I hope to add my vie

Re: Benefits of using Sphinx documentation format

2021-07-12 Thread Gavin Smith via Gcc
On Mon, Jul 12, 2021 at 4:04 PM Jonathan Wakely via Gcc wrote: > GNU Hello has the same problem with its docs: > https://www.gnu.org/software/hello/manual/hello.html#index-_002dg > That URL is garbage because of the URL-encoded %2d character, and the > fact it links to the wrong place (the descrip