Re: Error with make doc

[Werner LEMBERG]

>> systems like macOS that neither have or use '/bin/bash'.
> 
> Apple changed the default shell for new users to zsh about 5 years
> ago, but bash is still there.  I don't oppose making the build
> scripts more portable, but let's not misunderstand the situation.

OK, thanks – let's see whether the new code makes a build succeed on
Carl's computer; otherwise I have to continue my investigations.

Note that on OpenBSD, `bash` resides in `/usr/local/bin` if you
install it via `pkg_add`.


    Werner