8499a1
Rename file extensions from .texi to .texinfo in trunk/Manuals/Texinfo directory structure. This, in order to match the backend format specification.