What is makeinfo
?
makeinfo
is a program for converting Texinfo files into Info files. Texinfo is a documentation system that uses a single source file to produce both on-line information and printed output.
You can read the on-line information using Info; type info
to learn about Info. See the Texinfo manual, to learn about the Texinfo documentation system.
转载请注明:在路上 » What is makeinfo?