%general-entities; ]> Texinfo Prepare Texinfo for compilation: ./configure --prefix=/usr Compile the package: make To test the results, issue: make check Install the package: make install The Info documentation system uses a plain text file to hold its list of menu entries. The file is located at /usr/share/info/dir. Unfortunately, due to occasional problems in the Makefiles of various packages, it can sometimes get out of sync with the info pages installed on the system. If the /usr/share/info/dir file ever needs to be recreated, the following optional commands will accomplish the task: pushd /usr/share/info rm dir for f in * do install-info $f dir 2>/dev/null done popd Installed programs Installed directory info, infokey, install-info, makeinfo (link to texi2any), pdftexi2dvi, texi2dvi, texi2pdf, and texindex /usr/share/texinfo Short Descriptions info Used to read info pages which are similar to man pages, but often go much deeper than just explaining all the command line options. For example, compare man bison and info bison. info infokey Compiles a source file containing Info customizations into a binary format infokey install-info Used to install info pages; it updates entries in the info index file install-info makeinfo Translates the given Texinfo source documents into info pages, plain text, or HTML makeinfo pdftexi2dvi Shell script that run texi2dvi --pdf pdftexi2dvi texi2dvi Used to format the given Texinfo document into a device-independent file that can be printed texi2dvi texi2pdf Used to format the given Texinfo document into a Portable Document Format (PDF) file texi2pdf texindex Used to sort Texinfo index files texindex