Encyclopedia

Texinfo

Also found in: Wikipedia.

Texinfo

A GNU documentation system that uses a single source file to produce both on-line information and printed output. You can read the on-line information, known as an "Info file", with an Info documentation-reading program. By convention, Texinfo source file names end with a ".texi" or ".texinfo" extension.

You can write and format Texinfo files into Info files within GNU Emacs, and read them using the Emacs Info reader. If you do not have Emacs, you can format Texinfo files into Info files using "makeinfo" and read them using "info". TeX is used to typeset Texinfo files for printing.

Texinfo is available from your nearest GNU archive site.

Latest version: 3.1, as of 1993-03-23.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in
References in periodicals archive
# apt-get install wget git-core unzip make gcc g++ build-essential subversion sed autoconf automake texi2html texinfo coreutils diffstat python-pysqlite2 docbook-utils libsdl1.2-dev libxml-parser-perl libgl1-mesa-dev libglu1-mesa-dev xsltproc desktop-file-utils chrpath groff libtool xterm gawk fop
Texinfo. [Londres, Inglaterra]: WinsSpiel, 2003 [cited 25 feb, 2006].
Texinfo. [Bogota, Colombia]: WinsSpiel, 2005 [cited 25 feb, 2006].
Texinfo. [Washingtong, Estados Unidos]: WinsSpiel, 1999 [cited 26 abr., 2006].
Texinfo. [Washingtong, Estados Unidos]: WinsSpiel, 2000 [cited 25 abr., 2006].
Texinfo. [s.l.]: WinSpiel, 1999 [cited 27 abr., 2006].
Texinfo. [Nueva York, Estados Unidos]: WinSpiel, dic.
Texinfo. [Cartagena, Colombia]: WinsSpiel, 2005 [cited 25 feb, 2006].
Texinfo. [Paris,--Francia]: WinSpiel, may 1999 [cited 13 jun., 2006]..
Copyright © 2003-2025 Farlex, Inc Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.