From 48e325df3cad5cdadef6bb354bbc328d70c6ab32 Mon Sep 17 00:00:00 2001 From: Henry Kroll III Date: Thu, 23 Dec 2010 06:36:07 -0800 Subject: [PATCH] configure: --sharedir defaults to /usr/local/share --- configure | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 99cac7e4..e2d4ffe3 100755 --- a/configure +++ b/configure @@ -241,7 +241,7 @@ echo " --bindir=DIR user executables in DIR [EPREFIX/bin]" echo " --libdir=DIR object code libraries in DIR [EPREFIX/lib]" echo " --tccdir=DIR installation directory [EPREFIX/lib/tcc]" echo " --includedir=DIR C header files in DIR [PREFIX/include]" -echo " --sharedir=DIR documentation root DIR [PREFIX]" +echo " --sharedir=DIR documentation root DIR [PREFIX]/share" echo " --docdir=DIR documentation in DIR [SHAREDIR/doc/tcc]" echo " --mandir=DIR man documentation in DIR [SHAREDIR/man]" echo " --infodir=DIR info documentation in DIR [SHAREDIR/info]" @@ -289,7 +289,7 @@ else prefix="/usr/local" fi if test -z "$sharedir" ; then - sharedir="${prefix}" + sharedir="${prefix}/share" fi if test x"$execprefix" = x""; then execprefix="${prefix}"