Updated tex files in doc/ and deleted excess file in src/.