> Cc: [email protected], [email protected], [email protected] > From: Martin Liška <[email protected]> > 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.
