> However, I have documented the semantics that make(1) currently uses;
> see make.1 rev 1.117 for details.

> Does that suffice, or would rather keep this PR in a non-closed state
> until the "chdir to ./obj" semantics have been removed ?

I'd _rather_ see the chdir removed, of course, at least absent fairly
specific request (makefile variable, command-line flag, whatever) to
the contrary.

As for what to do with the PR - I'd prefer to keep it open until either
that happens or it's decided that it won't happen, in which latter case
the doc update at least deals with the PR proper.

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B