git rm -r doc/php and git rm -r doc/shell