File: gawk.info, Node: Building the Documentation, Prev: Compiling from Git, Up: Unix Installation B.2.6 Building the Documentation -------------------------------- The generated Info documentation is included in the distribution 'tar' files and in the Git source code repository; you should not need to rebuild it. However, if it needs to be done, simply running 'make' will do it, assuming that you have a recent enough version of 'makeinfo' installed. If you wish to build the PDF version of the manuals, you will need to have TeX installed, and possibly additional packages that provide the necessary fonts and tools, such as 'dvi2pdf' and 'ps2pdf'. You will also need GNU Troff ('groff') installed in order to format the reference card and the manual page (*note Distribution contents::). Managing this process is beyond the scope of this Info file. Assuming you have all you need, then the following commands produce the PDF versions of the documentation: cd doc make pdf This creates PDF versions of all three Texinfo documents included in the distribution, as well as of the manual page and the reference card. Similarly, if you have a recent enough version of 'makeinfo', you can make the HTML version of the manuals with: cd doc make html This creates HTML versions of all three Texinfo documents included in the distribution.