chiark / gitweb /
Use `$(MAKE)' in the `install-man' rule, so that the jobserver doesn't