.gitignore: Ignore another generated makefile.