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

[userv.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 6a65d7a9e590583d8c249fc7af8a035362fbf155..9abd1b818b6396f8cd2fe6ab126d9587fe03676b 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -42,14 +42,15 @@ INSTALL_PROGRAM=@INSTALL_PROGRAM@ $(INSTALL_FLAGS)
 INSTALL_DATA=@INSTALL_DATA@ $(INSTALL_FLAGS)
 prefix=@prefix@
 exec_prefix=$(prefix)
+share_prefix=$(prefix)/share
 bindir=$(exec_prefix)/bin
-mandir=$(prefix)/man
+mandir=$(share_prefix)/man
 man1dir=$(mandir)/man1
 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