1 Author: Daniel Baumann <daniel@debian.org>
2 Description: Sets the gnulib directory.
4 Index: gnulib/gnulib-tool
5 ===================================================================
6 --- gnulib.orig/gnulib-tool 2011-12-11 06:54:46.000000000 +0000
7 +++ gnulib/gnulib-tool 2011-12-11 06:55:12.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