From cc897f7e5e4678d5cc97cc5d95d836a7c538dd7c Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 29 Dec 2021 15:30:52 +0000
Subject: [PATCH] make install: Ship docs to /usr/share/doc/userv, not
 /usr/userv (!)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index dc091d1..9abd1b8 100644
--- 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
-- 
2.30.2