chiark / gitweb /
make install: Ship docs to /usr/share/doc/userv, not /usr/userv (!)