@c -*-texinfo-*-