chiark / gitweb /
Makefile: Changing Makefile means executables need to be regenerated too