* remove doc folder from master branch for deploying GitHub Pages.