chiark / gitweb /
Makefile: Add some missing source files to the list.