@c Local Variables: 
@c mode: texinfo
@c TeX-master: t
@c End: