1 Author: Daniel Baumann <daniel@debian.org>
2 Description: Sets the gnulib directory.
4 Index: gnulib/gnulib-tool
5 ===================================================================
6 --- gnulib.orig/gnulib-tool 2010-03-08 06:48:19.000000000 +0000
7 +++ gnulib/gnulib-tool 2010-03-08 06:48:24.000000000 +0000
9 * ) self_abspathname=`echo "$self_abspathname" | sed -e 's,/[^/]*$,,'`/"$linkval" ;;
12 - gnulib_dir=`echo "$self_abspathname" | sed -e 's,/[^/]*$,,'`
13 + gnulib_dir=/usr/share/gnulib