chiark / gitweb /
EXTRAS/Makefile: fix install targets to match main Makefile