12.3 GNU project documentation files
This charset is
available in Recode under the name
Texinfo and has texi and
ti for aliases. It is used by the GNU
project for its documentation. Texinfo files may be
converted into Info files by the
makeinfo program and into nice printed
manuals by the TeX system.
Even if
Recode may transform other charsets to Texinfo, it
may not read Texinfo files yet. In these times,
usages are also changing between versions of
Texinfo, and Recode only partially succeeds in
correctly following these changes. So, for now,
Texinfo support in Recode should be considered as
work still in progress (!).
|