chiark / gitweb /
Makefile: Install configuration files.