files/.gitignore: Ignore $(DOCS) and $(DOC_SIDE_EFFECTS)