Commit No. 5 - TeX source moved to src