Date: Tue, 9 Jun 1998 18:11:24 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Olivier Perron <perron AT art DOT alcatel DOT fr>
cc: ^Magico^ <bfe2333 AT mail DOT telepac DOT pt>, djgpp AT delorie DOT com
Subject: Re: Int2TeX v1.00 was released
In-Reply-To: <Pine.GSO.3.96.980609094423.12259A-100000@rtbsci146s>
Message-ID: <Pine.SUN.3.91.980609180924.16324I-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On Tue, 9 Jun 1998, Olivier Perron wrote:

> Formatting node B AT F000F84D...
> Int2TeX.TEX:100794: Unknown command `F000F84D'.

I didn't yet look at the translator, but the problem here seems to be 
that you need to replace B AT F000F84D with B@@F000F84D, assuming that the 
node name is indeed "B AT F000F84D".  The `@' character is special in 
Texinfo, and if you need to use it verbatim, you need to escape-protect 
it with another `@'.