From 4e54f790ed324d61da396398a575a2bd0eebb3a3 Mon Sep 17 00:00:00 2001 From: Mark Mentovai Date: Mon, 1 Aug 2022 13:26:20 -0400 Subject: build: doc: refer to bash as bash, not /bin/bash This locates bash according to its presence in the PATH, not at a hard-coded path which may not exist or may not be the most suitable bash to use. Signed-off-by: Mark Mentovai Acked-by: Duncan Roe Signed-off-by: Florian Westphal --- doxygen/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doxygen/Makefile.am b/doxygen/Makefile.am index 29078de..189a233 100644 --- a/doxygen/Makefile.am +++ b/doxygen/Makefile.am @@ -21,7 +21,7 @@ doxyfile.stamp: $(doc_srcs) Makefile.am # The command has to be a single line so the functions work # and so `make` gives all lines to `bash -c` # (hence ";\" at the end of every line but the last). - /bin/bash -p -c 'declare -A renamed_page;\ + bash -p -c 'declare -A renamed_page;\ main(){ set -e; cd man/man3; rm -f _*;\ count_real_pages;\ rename_real_pages;\ -- cgit v1.2.3