gnulib-tool: make it possible to install the generated library

[Bruno Haible]

Hi,

I added this change to gnulib-tool. It will allow for libgettextlib to
be installed as a shared library, saving some disk space for a few
installed programs.

2006-08-21  Bruno Haible <address@hidden>

        * gnulib-tool (func_emit_lib_Makefile_am): If the snippets already
        specify an installation location, don't emit a noinst_[LT]LIBRARIES
        assignment.

diff -c -3 -r1.139 gnulib-tool
*** gnulib-tool 21 Aug 2006 18:18:25 -0000      1.139
--- gnulib-tool 21 Aug 2006 18:46:35 -0000
***************
*** 921,927 ****
        fi
      done
    ) > allsnippets.tmp
!   echo "noinst_${perhapsLT}LIBRARIES = $libname.$libext"
    echo
    echo "${libname}_${libext}_SOURCES ="
    echo "${libname}_${libext}_LIBADD = @${perhapsLT}LIBOBJS@"
--- 921,933 ----
        fi
      done
    ) > allsnippets.tmp
!   if grep "^[a-zA-Z0-9_]*_${perhapsLT}LIBRARIES *= *$libname\\.$libext\$" 
allsnippets.tmp > /dev/null; then
!     # One of the snippets already specifies an installation location for the
!     # library. Don't confuse automake by saying it should not be installed.
!     :
!   else
!     echo "noinst_${perhapsLT}LIBRARIES = $libname.$libext"
!   fi
    echo
    echo "${libname}_${libext}_SOURCES ="
    echo "${libname}_${libext}_LIBADD = @${perhapsLT}LIBOBJS@"