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