diff options
author | Nathan Scott <nathans@sgi.com> | 2001-05-07 02:46:00 +0000 |
---|---|---|
committer | Nathan Scott <nathans@sgi.com> | 2001-05-07 02:46:00 +0000 |
commit | a7ff858fe384857e47e7447b453faf985975635f (patch) | |
tree | c297b63e362ceaec2b0f114c10ea98716d5b56cf | |
parent | 4660d96b25b44ef20942116ce6fbaaca8cd71e18 (diff) | |
download | dmapi-dev-a7ff858fe384857e47e7447b453faf985975635f.tar.gz |
in the absence of any compeling information to suggest otherwise, fall
back to installing man pages in /usr/share/man, rather than /usr/man.
-rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 86ff7c7..69d655b 100644 --- a/configure.in +++ b/configure.in @@ -115,7 +115,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 |