diff --git a/configure.in b/configure.in index 77af3768..ad2be9df 100644 --- a/configure.in +++ b/configure.in @@ -205,6 +205,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 have_zipped_manpages=false for d in ${prefix}/share/man ${prefix}/man ; do if test -f $d/man1/man.1.gz