[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] error compiling texi to dvi, conflicting names with t
|
From: |
Gavin Smith |
|
Subject: |
Re: [help-texinfo] error compiling texi to dvi, conflicting names with texinfo.tex? |
|
Date: |
Fri, 22 Feb 2019 20:04:09 +0000 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
On Fri, Feb 22, 2019 at 12:12:20PM +0100, Marco Maggi wrote:
> Mh... I think I got it: it is the "_" in the flag name.
Indeed, and this is documented in the '@set @value' node of the Texinfo
manual.