Re: [PATCH] Port GCC documentation to Sphinx

2021-08-09 Thread Martin Liška
On 7/13/21 4:54 PM, Tamar Christina wrote: Hi Martin, -Original Message- From: Gcc-patches On Behalf Of Martin Liška Sent: Tuesday, June 29, 2021 11:09 AM To: Joseph Myers Cc: GCC Development ; gcc-patches@gcc.gnu.org Subject: Re: [PATCH] Port GCC documentation to Sphinx On 6/28/21

Re: [PATCH] Port GCC documentation to Sphinx

2021-08-09 Thread Martin Liška
On 7/12/21 7:18 PM, Martin Sebor wrote: On 6/29/21 4:09 AM, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just uploaded them here:

RE: [PATCH] Port GCC documentation to Sphinx

2021-07-13 Thread Tamar Christina via Gcc-patches
Hi Martin, > -Original Message- > From: Gcc-patches bounces+tamar.christina=arm@gcc.gnu.org> On Behalf Of Martin Liška > Sent: Tuesday, June 29, 2021 11:09 AM > To: Joseph Myers > Cc: GCC Development ; gcc-patches@gcc.gnu.org > Subject: Re: [PATCH] Port GCC do

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-12 Thread Martin Sebor via Gcc-patches
On 6/29/21 4:09 AM, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just uploaded them here: https://splichal.eu/gccsphinx-final/ Martin I think listing the -Wfoo

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-05 Thread Richard Sandiford via Gcc-patches
Eli Zaretskii writes: >> Hans-Peter Nilsson writes: >> > I've read the discussion downthread, but I seem to miss (a recap >> > of) the benefits of moving to Sphinx. Maybe other have too and >> > it'd be a good idea to repeat them? Otherwise, the impression >> > is not so good, as all I see is

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-05 Thread Eli Zaretskii via Gcc-patches
> From: Richard Sandiford > Cc: Eli Zaretskii , g...@gcc.gnu.org, > gcc-patches@gcc.gnu.org, jos...@codesourcery.com > Date: Mon, 05 Jul 2021 10:17:38 +0100 > > Hans-Peter Nilsson writes: > > I've read the discussion downthread, but I seem to miss (a recap > > of) the benefits of moving to

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-05 Thread Richard Sandiford via Gcc-patches
Hans-Peter Nilsson writes: > I've read the discussion downthread, but I seem to miss (a recap > of) the benefits of moving to Sphinx. Maybe other have too and > it'd be a good idea to repeat them? Otherwise, the impression > is not so good, as all I see is bits here and there getting lost > in

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-02 Thread Hans-Peter Nilsson
On Wed, 30 Jun 2021, Eli Zaretskii via Gcc-patches wrote: > > Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > > From: Martin Li?ka > > Date: Wed, 30 Jun 2021 12:11:03 +0200 > > > 4. Menus lost the short descriptions of the sub-sections. Example: > > > > > >*

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-02 Thread Martin Liška
On 7/2/21 12:31 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Fri, 2 Jul 2021 11:30:02 +0200 So the purpose of having the comma there is to avoid having a period in the middle of a sentence, which is added by makeinfo

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-02 Thread Eli Zaretskii via Gcc-patches
> Cc: Eli Zaretskii , g...@gcc.gnu.org, gcc-patches@gcc.gnu.org, > jos...@codesourcery.com > From: Martin Liška > Date: Fri, 2 Jul 2021 11:40:06 +0200 > > > It must > > look sensible without that. In this case it seems that already the > > generated .texinfo input to makeinfo is bad, where

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-02 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Fri, 2 Jul 2021 11:30:02 +0200 > > > So the purpose of having the comma there is to avoid having a period > > in the middle of a sentence, which is added by makeinfo (because the > > Info

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-02 Thread Martin Liška
On 7/1/21 5:06 PM, Michael Matz wrote: Hello, On Thu, 1 Jul 2021, Martin Liška wrote: On 7/1/21 3:33 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Thu, 1 Jul 2021 14:44:10 +0200 It helps some, but not all of the

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-02 Thread Martin Liška
On 7/1/21 6:58 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Thu, 1 Jul 2021 18:04:24 +0200 Emacs doesn't hide the period. But there shouldn't be a period to begin with, since it's the middle of a sentence. The

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-01 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Thu, 1 Jul 2021 18:04:24 +0200 > > > Emacs doesn't hide the period. But there shouldn't be a period to > > begin with, since it's the middle of a sentence. The correct way of > > writing this

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-01 Thread Martin Liška
On 7/1/21 5:44 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Thu, 1 Jul 2021 16:14:30 +0200 If I understand the notes correct, the '.' should be also hidden by e.g. Emacs. No, it doesn't. The actual text in the Info

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-01 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Thu, 1 Jul 2021 16:14:30 +0200 > > >> If I understand the notes correct, the '.' should be also hidden by e.g. > >> Emacs. > > > > No, it doesn't. The actual text in the Info file is: > > >

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-01 Thread Michael Matz
Hello, On Thu, 1 Jul 2021, Martin Liška wrote: > On 7/1/21 3:33 PM, Eli Zaretskii wrote: > > > Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > > > From: Martin Liška > > > Date: Thu, 1 Jul 2021 14:44:10 +0200 > > > > > > > It helps some, but not all of the issues

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-01 Thread Martin Liška
On 7/1/21 3:33 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Thu, 1 Jul 2021 14:44:10 +0200 It helps some, but not all of the issues disappear. For example, stuff like this is still hard to read: To select this

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-01 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Thu, 1 Jul 2021 14:44:10 +0200 > > > It helps some, but not all of the issues disappear. For example, > > stuff like this is still hard to read: > > > >To select this standard in GCC, use

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-01 Thread Martin Liška
On 6/30/21 3:09 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Wed, 30 Jun 2021 12:11:03 +0200 (Admittedly, Emacs by default hides some of the text of a cross-reference, but not hiding them in this case produces an even

Re: [PATCH] Port GCC documentation to Sphinx

2021-07-01 Thread Martin Liška
On 6/30/21 5:43 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Wed, 30 Jun 2021 16:04:32 +0200 Thanks, but does that mean @var will no longer stand out in the produced Info format? That'd be sub-optimal, I think,

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Wed, 30 Jun 2021 16:04:32 +0200 > > > Thanks, but does that mean @var will no longer stand out in the > > produced Info format? That'd be sub-optimal, I think, because a clear > > reference to

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/30/21 3:38 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Wed, 30 Jun 2021 15:28:40 +0200 ‘@`file'’ Read command-line options from ‘`file'’. The options read are inserted in place of the

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Wed, 30 Jun 2021 15:28:40 +0200 > > >‘@`file'’ > > > > Read command-line options from ‘`file'’. The options read are > > inserted in place of the original ‘@`file'’ option.

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/29/21 6:57 PM, Eli Zaretskii wrote: 2. The translation of @var produces double-quoting in Info, here's an example: The usual way to run GCC is to run the executable called ‘gcc’, or ‘`machine'-gcc’ when cross-compiling, or ‘`machine'-gcc-`version'’ to run a specific version of

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Wed, 30 Jun 2021 12:11:03 +0200 > > > (Admittedly, Emacs by default hides some of the text of a > > cross-reference, but not hiding them in this case produces an even > > less legible text.) >

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/30/21 12:55 PM, Andrey Belevantsev wrote: Hi Martin, On 29.06.2021 13:09, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just uploaded them here:

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/29/21 6:57 PM, Eli Zaretskii wrote: 5. There's some strange bug with symbols inside parentheses. For example: In GNU C and C++, you can use function attributes to specify certain function properties that may help the compiler optimize calls or check code more carefully for

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/30/21 12:14 PM, Richard Earnshaw wrote: On 30/06/2021 05:47, Martin Liška wrote: On 6/29/21 12:50 PM, Richard Earnshaw wrote: On 29/06/2021 11:09, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Andrey Belevantsev via Gcc-patches
Hi Martin, On 29.06.2021 13:09, Martin Liška wrote: > On 6/28/21 5:33 PM, Joseph Myers wrote: >> Are formatted manuals (HTML, PDF, man, info) corresponding to this patch >> version also available for review? > > I've just uploaded them here: > https://splichal.eu/gccsphinx-final/ > > Martin I've

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/30/21 12:11 PM, Martin Liška wrote: Seems correct to be, but it's likely not. Let me investigate that. It's a real issue in Sphinx. I've just addressed that with: https://github.com/sphinx-doc/sphinx/pull/9390 Cheers, Martin

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Richard Earnshaw via Gcc-patches
On 30/06/2021 05:47, Martin Liška wrote: On 6/29/21 12:50 PM, Richard Earnshaw wrote: On 29/06/2021 11:09, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/29/21 6:57 PM, Eli Zaretskii wrote: From: Martin Liška Date: Tue, 29 Jun 2021 12:09:23 +0200 Cc: GCC Development , gcc-patches@gcc.gnu.org On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review?

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-29 Thread Martin Liška
On 6/29/21 12:50 PM, Richard Earnshaw wrote: On 29/06/2021 11:09, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just uploaded them here:

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-29 Thread Eli Zaretskii via Gcc-patches
> Date: Tue, 29 Jun 2021 19:57:11 +0300 > From: Eli Zaretskii via Gcc > Cc: g...@gcc.gnu.org, gcc-patches@gcc.gnu.org, jos...@codesourcery.com > > Or how about this: > > `Overall Options' > >See Options Controlling the Kind of Output. > >*note -c. *note -S. *note -E. *note

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-29 Thread Eli Zaretskii via Gcc-patches
> From: Martin Liška > Date: Tue, 29 Jun 2021 12:09:23 +0200 > Cc: GCC Development , gcc-patches@gcc.gnu.org > > On 6/28/21 5:33 PM, Joseph Myers wrote: > > Are formatted manuals (HTML, PDF, man, info) corresponding to this patch > > version also available for review? > > I've just uploaded

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-29 Thread Richard Earnshaw via Gcc-patches
On 29/06/2021 11:09, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just uploaded them here: https://splichal.eu/gccsphinx-final/ Martin In the HTML version of

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-29 Thread Martin Liška
On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just uploaded them here: https://splichal.eu/gccsphinx-final/ Martin

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-28 Thread Joseph Myers
Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? -- Joseph S. Myers jos...@codesourcery.com

[PATCH] Port GCC documentation to Sphinx

2021-06-28 Thread Martin Liška
Hello. I'm sending the complete patch set that includes ChangeLog entries. Unfortunately, majority of the patches are huge, that's why I sent like to a tarball: https://splichal.eu/tmp/port-to-sphinx-v1.tar The tarball contains the following patches: 19e06194746 Ada: port to Sphinx.