Fixed texinfo generation.