I have a git project. Some source files have been dispensed with in the latest version. I want to remove them from the repo from now forward, but preserve their history thus far. I.e. If I check out yesterday's repo it had better have these files or it wouldn't compile.
I know it's probably "git rm", but I have 2 problems with git rm right now. One is that I can't find any documentation that definitively says "git rm preserves the file's history in the repo". And I've already deleted these files from my working directory, so I doubt I can git rm files that aren't even there. (I could copy them back, just to be able to do a git rm, but I want to make sure I'm doing things the right.)