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

back to installing man pages in /usr/share/man, rather than /usr/man.
This commit is contained in:
Nathan Scott
2001-05-07 02:46:00 +00:00
parent 85be2d41af
commit 86c6116680
+1 -1
View File
@@ -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