> Cc: jos...@codesourcery.com, gcc@gcc.gnu.org, gcc-patc...@gcc.gnu.org > From: Martin Liška <mli...@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.
