1 Author: Daniel Baumann <daniel@debian.org>
2 Description: Sets the gnulib directory.
4 Index: gnulib/gnulib-tool
5 ===================================================================
6 --- gnulib.orig/gnulib-tool 2013-08-11 12:33:21.000000000 +0100
7 +++ gnulib/gnulib-tool 2013-08-11 15:05:06.000000000 +0100
9 version=' '`cd "$gnulib_dir" && ./build-aux/git-version-gen /dev/null | sed -e 's/-dirty/-modified/'`
11 # gnulib copy without versioning information.
12 - date=`sed -e 's/ .*//;q' "$gnulib_dir"/ChangeLog`
14 + date=`zcat /usr/share/doc/gnulib/changelog.gz | sed -e 's/ .*//;q'`
15 + version=`zcat /usr/share/doc/gnulib/NEWS.stable.gz | grep -o -m 1 ' [0-9]\+-stable'`
16 + debversion=`dpkg-query --show --showformat '${Version}' gnulib`
18 year=`"$gnulib_dir"/build-aux/mdate-sh "$self_abspathname" | sed -e 's,^.* ,,'`
20 -gnulib-tool (GNU $package $date)$version
21 +gnulib-tool (GNU $package $date)$version Debian: $debversion
22 Copyright (C) $year Free Software Foundation, Inc.
23 License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
24 This is free software: you are free to change and redistribute it.
26 * ) self_abspathname=`echo "$self_abspathname" | sed -e 's,/[^/]*$,,'`/"$linkval" ;;
29 - gnulib_dir=`echo "$self_abspathname" | sed -e 's,/[^/]*$,,'`
30 + gnulib_dir=/usr/share/gnulib