Added new tex and html files to index