chiark / gitweb /
Makefile: Rename the dep files.