Remove TeX documentation -- use gh-pages instead