bash-5.1 distribution sources and documentation

[thirdparty/bash.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 5f0756c4fdaeca4daff22abc889230124e979d72..12068fb58e7bcba674853c279a4ba01f89dcb4d9 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -334,7 +334,7 @@ posix:      bashref.texi
        $(RM) POSIX
 
 rbash: bashref.texi
-       $(SH) ./mkrbash
+       $(SHELL) ./mkrbash
        cmp -s RBASH ../RBASH || mv RBASH ../RBASH
        $(RM) RBASH