Remove tex files, man pages, web sources