debian/patches/01-gnulib-directory.patch

   1 Author: Daniel Baumann <daniel@debian.org>
   2 Description: Sets the gnulib directory.
   3
   4 Index: gnulib/gnulib-tool
   5 ===================================================================
   6 --- gnulib.orig/gnulib-tool     2013-08-11 12:33:06.000000000 +0100
   7 +++ gnulib/gnulib-tool  2013-08-11 12:33:12.000000000 +0100
   8 @@ -453,7 +453,7 @@
   9        * ) self_abspathname=`echo "$self_abspathname" | sed -e 's,/[^/]*$,,'`/"$linkval" ;;
  10      esac
  11    done
  12 -  gnulib_dir=`echo "$self_abspathname" | sed -e 's,/[^/]*$,,'`
  13 +  gnulib_dir=/usr/share/gnulib
  14  }
  15
  16  # func_tmpdir