Hello,

Any texinfo experts here?

Trying to build Heimdal in Debian unstable, but for some reason it doesn't like one of the texi files any more. It use to work....

./whatis.texi:39: unknown command `def'

./whatis.texi:39: unknown command `xsub'

./whatis.texi:40: unknown command `global'

./whatis.texi:40: unknown command `let'

./whatis.texi:40: unknown command `xsub' (possibly involving @sub)

The relevant lines are:

@tex

@def@xsub#1{$_{#1}$}

@global@let@sub=@xsub

@end tex

What does @tex do? I tried searching the documentation at http://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html but with no luck. There is @TeX{} but that appears to be different. Doesn't look like anything to do with TeX to me.

Can anyone see why this use to work? Debian wheezy seems fine but Debian sid is not.

Thanks