6.3.7 Building Documentation
The main GCC documentation is in the form of manuals in Texinfo format. These are installed in Info format; DVI versions may be generated by make dvi, PDF versions by make pdf, and HTML versions by make html. In addition, some man pages are generated from the Texinfo manuals, there are some other text files with miscellaneous documentation, and runtime libraries have their own documentation outside the gcc directory. FIXME: document the documentation for runtime libraries somewhere.