Added documentation.tex