chiark / gitweb /
Makefile: remove dev.d/ hotplug.d/ from install target