diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2016-01-08 00:08:58 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2016-01-08 00:08:58 +0200 |
commit | 06499f7e23e5ba528686c6135b02eafe6cb47817 (patch) | |
tree | c37cb08d4ab1fdbf31ebc8f3f513ec8f90860aa4 /bootstrap.conf | |
parent | b47dfe00a3658aa95c4ed6cf79a0e66e06eed0ff (diff) | |
download | pies-06499f7e23e5ba528686c6135b02eafe6cb47817.tar.gz pies-06499f7e23e5ba528686c6135b02eafe6cb47817.tar.bz2 |
Bugfixes
* bootstrap.conf (bootstrap_epilogue): Declare the package as a
GNU one.
* configure.ac: Require gettext 0.19
Remove useless conditional
* src/ctl.c (fun_stop, fun_start): Check prog->v.p.status, not the
CF_DISABLED flag.
Diffstat (limited to 'bootstrap.conf')
-rw-r--r-- | bootstrap.conf | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index edec854..1b1e9e2 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -1,5 +1,5 @@ # Bootstrap configuration for GNU Pies. -*- shell-script -*- -# Copyright (C) 2008, 2009, 2010, 2011, 2013 Sergey Poznyakoff +# Copyright (C) 2008-2011, 2013, 2016 Sergey Poznyakoff # # GNU Pies is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -58,6 +58,20 @@ if test -z "$MSGID_BUGS_ADDRESS"; then MSGID_BUGS_ADDRESS="bug-${package}@gnu.org.ua" fi +bootstrap_epilogue() { + cat >> po/Makevars <<'EOF' + +# Local changes by bootstrap + +# The $(DOMAIN).pot-update goal in po/Makefile.in.in determines whether the +# package is GNU by recursively grepping all files in top_srcdir for string +# 'GNU @PACKAGE@'. This heuristics fails, because @PACKAGE@ begins with a +# lowercase letter, whereas all sources address the package as 'GNU Pies' +# (with a capital letter). The definition below fixes this. +PACKAGE_GNU = pies +EOF +} + # Read local configuration file if [ -r .bootstrap ]; then echo "$0: Reading configuration file .bootstrap" |