Re: [O] variable names in manual

[Bastien]

Carsten Dominik <address@hidden> writes:

> Yes, I agree.  Let's wait for Bastien to take a last look at this,
> but it should indeed be reverted.

Oh, I wasn't aware of this "metasyntactical" notion.
No problem for reverting this change -- please make this
in the maint branch so that users of 8.0.2 enjoy this.
Also, maybe the revert of this commit is not enough,
and we should check against remaining @var{...} to see
if they are okay.

-- 
 Bastien