diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-04-02 13:12:52 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-04-02 13:12:52 +0000 |
commit | 8b7b6eb852a7ca709196fb1a1de4ebe28ecc85d5 (patch) | |
tree | 15cf909e44023e79f2661194173a72d8deb1b22b /Build/source/configure | |
parent | d7d3c2c1cbaffda3ba6ed126ebfdd3c3650511c8 (diff) |
new build system: texk/texlive/
git-svn-id: svn://tug.org/texlive/trunk@12600 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-x | Build/source/configure | 10 |
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" |