diff options
| -rw-r--r-- | doxygen/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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;\ |