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

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile.in b/Makefile.in
index dc091d1e8e81a9f266543750c3f8856b2ec00b40..9abd1b818b6396f8cd2fe6ab126d9587fe03676b 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -50,7 +50,7 @@ man8dir=$(mandir)/man8
 sbindir=$(exec_prefix)/sbin
 etcdir=/etc
 etcsubdir=$(etcdir)/userv
-docdir=$(prefix)/userv
+docdir=$(share_prefix)/doc/userv
 
 TARGETS=       daemon client
 TARGETS_DOC_PS=        spec.ps overview.ps