After deleting extra progdocs err.
After git rm progdocs