texinfo.xml 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263
  1. <sect1 id="ch06-texinfo">
  2. <title>Installing Texinfo-&texinfo-version;</title>
  3. <?dbhtml filename="texinfo.html" dir="chapter06"?>
  4. <screen>Estimated build time: &texinfo-time;
  5. Estimated required disk space: &texinfo-compsize;</screen>
  6. &aa-texinfo-shortdesc;
  7. &aa-texinfo-dep;
  8. <sect2><title>&nbsp;</title><para>&nbsp;</para></sect2>
  9. <sect2>
  10. <title>Installation of Texinfo</title>
  11. <para>Prepare Texinfo for compilation:</para>
  12. <screen><userinput>./configure --prefix=/usr</userinput></screen>
  13. <para>Compile the package:</para>
  14. <screen><userinput>make</userinput></screen>
  15. <para>This package has a test suite available which can perform a number of
  16. checks to ensure it built correctly. Should you choose to run it, the
  17. following command will do so:</para>
  18. <screen><userinput>make check</userinput></screen>
  19. <para>Install the package:</para>
  20. <screen><userinput>make install</userinput></screen>
  21. <para>And optionally install the components belonging in a TeX installation:</para>
  22. <screen><userinput>make TEXMF=/usr/share/texmf install-tex</userinput></screen>
  23. <para>The meaning of the make parameter:</para>
  24. <itemizedlist>
  25. <listitem><para><userinput>TEXMF=/usr/share/texmf</userinput>: The TEXMF
  26. makefile variable holds the location of the root of your TeX tree if, for
  27. example, you plan to install a TeX package later on.</para></listitem>
  28. </itemizedlist>
  29. <para>The Info documentation system uses a plain text file to hold its list of
  30. menu entries. The file is located at <filename>/usr/share/info/dir</filename>.
  31. Unfortunately, due to occasional problems in the Makefiles of various packages,
  32. it can sometimes get out of step with the Info manuals actually installed on the
  33. system. If ever you need to recreate the
  34. <filename>/usr/share/info/dir</filename> file, the following optional commands
  35. will accomplish the task:</para>
  36. <screen><userinput>cd /usr/share/info
  37. rm dir
  38. for f in *
  39. do install-info $f dir 2>/dev/null
  40. done</userinput></screen>
  41. </sect2>
  42. </sect1>