Re: Error with make doc

[Carl Sorensen]

On Sat, Feb 10, 2024 at 7:20 AM Werner LEMBERG <wl@gnu.org> wrote:

>
> >> 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`.
>
>
On my system, default bash is at

/opt/local/bin/bash

But I do have

/bin/bash

Carl