Doc: All files are now included in the index.tex file