summaryrefslogtreecommitdiff
path: root/build-aux/gnu-web-doc-update
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2012-07-19 12:04:35 +0200
committerAkim Demaille <akim@lrde.epita.fr>2012-07-19 16:23:57 +0200
commit2f67aa79c6f13961eda685144130692dc9f7b95f (patch)
treea40fcac3187dc4ca9598883ebc883f12ab3ad5db /build-aux/gnu-web-doc-update
parentfc7002d2e2baa2e6acbb0da759c78675343b9776 (diff)
downloadgnulib-2f67aa79c6f13961eda685144130692dc9f7b95f.tar.gz
gnu-web-doc-update: fix error messages
* build-aux/gnu-web-doc-update: Don't pass $ME to die.
Diffstat (limited to 'build-aux/gnu-web-doc-update')
-rwxr-xr-xbuild-aux/gnu-web-doc-update6
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;}')