Re: [PATCH] Port GCC documentation to Sphinx

[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