> 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
> 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