texinfo question