Package: texinfo Version: 3.6 Revision: 3 /usr/info/dir contains the line (both with 3.6-2 and 3.6-3) * Texi: (texi). The GNU Project's documentation format. whereas the info files are called /usr/info/texinfo*.
Substituting [Tt]exi to [Tt]exinfo by hand in the /usr/info/dir file permits to call the doc under its proper name, ie 'info texinfo'. -- [EMAIL PROTECTED] http://qed.econ.queensu.ca/~edd
