rm -rf doc/ (rendered doc lives in gh-pages now)