Make Makefile.devel consistent with .gitignore.
3 files changed