make install: Ship manpages to /usr/share, not /usr, by default

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

diff --git a/Makefile.in b/Makefile.in
index 6a65d7a9e590583d8c249fc7af8a035362fbf155..dc091d1e8e81a9f266543750c3f8856b2ec00b40 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -42,8 +42,9 @@ 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