diff options
Diffstat (limited to 'build-aux/gnu-web-doc-update')
| -rwxr-xr-x | build-aux/gnu-web-doc-update | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index cbff9058a4..263a8f18ac 100755 --- a/build-aux/gnu-web-doc-update +++ b/build-aux/gnu-web-doc-update @@ -128,12 +128,12 @@ do done test $# = 0 \ - || die "$ME: too many arguments" + || die "too many arguments" prev=.prev-version -version=$(cat $prev) || die "$ME: no $prev file?" +version=$(cat $prev) || die "no $prev file?" pkg=$(sed -n 's/^PACKAGE = \(.*\)/\1/p' $builddir/Makefile) \ - || die "$ME: no Makefile?" + || die "no Makefile?" tmp_branch=web-doc-$version-$$ current_branch=$($GIT branch | sed -ne '/^\* /{s///;p;q;}') |