summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorStefano Lattarini <stefano.lattarini@gmail.com>2013-10-30 22:44:34 +0000
committerStefano Lattarini <stefano.lattarini@gmail.com>2013-10-30 22:45:19 +0000
commit1b61da332734264141cb7500ee8c68d0927c72fa (patch)
tree92b51657b115f965c870cb2d0de268710a26be62 /THANKS
parent82216ce83ba3cdf3572b58e4d9e84886ab02d22d (diff)
downloadautomake-1b61da332734264141cb7500ee8c68d0927c72fa.tar.gz
install-sh: assume 'dirname' is available and working correctly
Really, we no longer care about hosts so outdated/broken to miss fundamental utilities like basename or dirname. * lib/install.sh: Adjust. * NEWS, THANKS: Update. Suggested-by: Philipp A. Hartmann <philipp.hartmann@offis.de> Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 6be803e16..e4f70f322 100644
--- a/THANKS
+++ b/THANKS
@@ -328,6 +328,7 @@ Phil Edwards phil@jaj.com
Phil Nelson phil@cs.wwu.edu
Philip Fong pwlfong@users.sourceforge.net
Philip S Tellis philip@ncst.ernet.in
+Philipp A. Hartmann philipp.hartmann@offis.de
Пухальский Юрий Андреевич pooh@cryptopro.ru
Quentin Glidic sardemff7+gnu@sardemff7.net
Rainer Orth ro@techfak.uni-bielefeld.de