LaTeX source files of the documentation.