Git: How to commit a manually deleted file? [duplicate]
Solution 1:
The answer's here, I think.
It's better if you do git rm <fileName>, though.
Solution 2:
Use git add -A, this will include the deleted files.
Note: use git rm for certain files.