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