From 86c611668079a9a8e1e54c2d15a0e21040546e42 Mon Sep 17 00:00:00 2001 From: Nathan Scott Date: Mon, 7 May 2001 02:46:00 +0000 Subject: [PATCH] in the absence of any compeling information to suggest otherwise, fall back to installing man pages in /usr/share/man, rather than /usr/man. --- configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.in b/configure.in index 3863e9da..edb91c16 100644 --- 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 -- 2.39.5