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-08-30 21:52:12.000000000 +0100
7 +++ gnulib/gnulib-tool 2010-08-30 21:53:59.000000000 +0100
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