| --- 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;\ |