chiark / gitweb /
Makefile: Making the configuration file is `GEN', not `STAMP'.