[PATCH] Port GCC documentation to Sphinx

[Eli Zaretskii]

> Cc: joseph@codesourcery.com, gcc@gcc.gnu.org, gcc-patches@gcc.gnu.org
> From: Martin Liška <mliska@suse.cz>
> 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.  If ‘`file'’
> >         does not exist, or cannot be read, then the option will be treated
> >         literally, and not removed.
> 
> For this one, I've just created the following pull request:
> https://github.com/sphinx-doc/sphinx/pull/9391

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 a meta-syntactic variable will be lost.