Remove spurious doc directory produced on the GitHub Pages