summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure10
1 files changed, 10 insertions, 0 deletions
diff --git a/Build/source/configure b/Build/source/configure
index 3dcbb06c0fd..65edb40c658 100755
--- a/Build/source/configure
+++ b/Build/source/configure
@@ -20031,6 +20031,16 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu
+if test "x$mandir" = 'x${datarootdir}/man'; then
+ mandir='${prefix}/doc/man'
+ ac_configure_args="$ac_configure_args '--mandir=$mandir'"
+fi
+
+if test "x$infodir" = 'x${datarootdir}/info'; then
+ infodir='${prefix}/doc/info'
+ ac_configure_args="$ac_configure_args '--infodir=$infodir'"
+fi
+
if test "x$enable_web2c" = xyes && test "x$with_system_kpathsea" = xyes; then
if test "x$with_kpathsea_includes" = x; then
list="/usr/include /usr/local/include"