chiark / gitweb /
shared/install: fix typo in comment