> The .texi file is not actually TeX.
> 
> [ ... ]
> 
> Sorry for not being helpful,

You were, pity about the delay.  It's nice to have one's suspicions
confirmed.

++L


Reply via email to