Re: Error with make doc

2024-02-01 Thread Carl Sorensen
On Thu, Feb 1, 2024 at 10:47 AM Werner LEMBERG wrote: > > > Doing a bit of an internet search it seems this is a bug in the `cp` > implementation on macOS (as unbelievable it may be, given that `cp` is > such a fundamental command that exists since decades): > > >

Re: Error with make doc

2024-02-01 Thread Werner LEMBERG
> 'make doc' failed. > > It appears that under some conditions, we end up with a path > including '//'. Multiple slashes in succession are completely harmless; they are simply equivalent to `/`. Doing a bit of an internet search it seems this is a bug in the `cp` implementation on macOS (as

Re: Error with make doc

2024-02-01 Thread Carl Sorensen
On Wed, Jan 31, 2024 at 10:53 PM Werner LEMBERG wrote: > > > Thanks a lot, very helpful. Please apply the attached patch to the > top-level `GNUmakefile.in` file, then retry from scratch (including > the `configure` step); it should catch all of the three problems > you've encountered. > It