latex and texinfo