[gnuastro-commits] master 808c049: Installation: SHELL set to /bin/sh instead of /bin/bash

[Mohammad Akhlaghi]

branch: master
commit 808c04987146aa148117f7e1eab98ae18cc2dd56
Author: Mohammad Akhlaghi <address@hidden>
Commit: Mohammad Akhlaghi <address@hidden>

    Installation: SHELL set to /bin/sh instead of /bin/bash
    
    Until now, `doc/Makefile.am' defined the `SHELL' variable to be `bin/bash',
    but it doesn't use any bash-specific features, so it is now set to the
    generic `/bin/sh'.
    
    This was suggested by Alexey Dokuchaev.
---
 doc/Makefile.am              | 2 +-
 doc/announce-acknowledge.txt | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 3082fb4..8e85d02 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -24,7 +24,7 @@
 
 
 ## Set the shell
-SHELL=/bin/bash
+SHELL=/bin/sh
 
 BUILT_SOURCES = $(srcdir)/authors.texi
 
diff --git a/doc/announce-acknowledge.txt b/doc/announce-acknowledge.txt
index 766dfb9..1edfc78 100644
--- a/doc/announce-acknowledge.txt
+++ b/doc/announce-acknowledge.txt
@@ -1,6 +1,7 @@
 Alphabetically ordered list to acknowledge in the next release.
 
 Hamed Altafi
+Alexey Dokuchaev
 Raúl Infante Sainz
 Sebastián Luna Valero