6.3.7 Building Documentation

The main GCC documentation is in the form of manuals in Texinfo format. These are installed in Info format, and DVI versions may be generated by `make dvi' and HTML versions may be generated 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.

• Texinfo Manuals: GCC manuals in Texinfo format.
• Man Page Generation: Generating man pages from Texinfo manuals.
• Miscellaneous Docs: Miscellaneous text files with documentation.