summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2009-04-02 13:46:01 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2009-04-02 13:46:01 +0000
commit7191a6160acc88c3b026ce95f07b6ae9ac31c76f (patch)
tree0b7cfdcbeb1e20d0dd0197033e8e35dcc548853a /Build/source/configure
parent8b7b6eb852a7ca709196fb1a1de4ebe28ecc85d5 (diff)
new build system: more texk/texlive/
git-svn-id: svn://tug.org/texlive/trunk@12601 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/configure b/Build/source/configure
index 65edb40c658..4bb7344050e 100755
--- a/Build/source/configure
+++ b/Build/source/configure
@@ -20032,12 +20032,12 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu
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