Re: Error with make doc

[Werner LEMBERG]

[Carl sent me the file listing off-list, thanks!  I will analyze it in
due course.]

> [...] and make test with a single job (to avoid race conditions that
> have given me trouble in the past):

Interesting.  When is the 'past'?  This shouldn't happen today, and it
would be great if you could try a `-jXX' make option in the future so
that we can see if you really get a failure.

> now on to your requested steps:

Ah, my steps were not intended to be used additionally but instead :-)

> Everything completed without error.

This is good.

Regarding the `cp -l` issue: Irrespective of the faulty implementation
on macOS it turns out that option `-l` isn't portable at all, as I was
told by the autoconf people.  I'm going to replace it with something
else that also works across file system boundaries (which even a
working `cp -l` does not).


    Werner