Docstring to Texinfo tool.