in the absence of any compeling information to suggest otherwise, fall

back to installing man pages in /usr/share/man, rather than /usr/man.

diff --git a/configure.in b/configure.in
index 3863e9da5085a282c09c8c62a961166e3f744f32..edb91c16526d6112f5edf469e9dba00f2480c183 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -198,7 +198,7 @@ prefix="$PREFIX"
 dnl man pages (source)
 dnl also check if man page source is gzipped
 dnl (usually on Debian, but not Redhat pre-7.0)
-pkg_man_dir=${prefix}/man
+pkg_man_dir=${prefix}/share/man
 have_zipped_manpages=false
 for d in ${prefix}/share/man ${prefix}/man ; do
     if test -f $d/man1/man.1.gz