summaryrefslogtreecommitdiff
path: root/Build/source/configure.ac
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/configure.ac')
-rw-r--r--Build/source/configure.ac4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/configure.ac b/Build/source/configure.ac
index 0b434ed73fd..48dec5fed29 100644
--- a/Build/source/configure.ac
+++ b/Build/source/configure.ac
@@ -51,12 +51,12 @@ AC_PATH_XTRA
AC_PROG_CXX
if test "x$mandir" = 'x${datarootdir}/man'; then
- mandir='${prefix}/doc/man'
+ mandir='${prefix}/texmf/doc/man'
ac_configure_args="$ac_configure_args '--mandir=$mandir'"
fi
if test "x$infodir" = 'x${datarootdir}/info'; then
- infodir='${prefix}/doc/info'
+ infodir='${prefix}/texmf/doc/info'
ac_configure_args="$ac_configure_args '--infodir=$infodir'"
fi