diff options
Diffstat (limited to 'chapter06/texinfo.xml')
| -rw-r--r-- | chapter06/texinfo.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/chapter06/texinfo.xml b/chapter06/texinfo.xml index a3d5cadd2..152dbb033 100644 --- a/chapter06/texinfo.xml +++ b/chapter06/texinfo.xml @@ -43,6 +43,20 @@ makefile variable holds the location of the root of your TeX tree if, for example, you plan to install a TeX package later on.</para></listitem> </itemizedlist> +<para>The Info documentation system uses a plain text file to hold its list of +menu entries. The file is located at <filename>/usr/share/info/dir</filename>. +Unfortunately, due to occasional problems in the Makefiles of various packages, +it can sometimes get out of step with the Info manuals actually installed on the +system. If ever you need to recreate the +<filename>/usr/share/info/dir</filename> file, the following optional commands +will accomplish the task:</para> + +<screen><userinput>cd /usr/share/info +rm dir +for f in * +do install-info $f dir 2>/dev/null +done</userinput></screen> + </sect2> </sect1> |