[bug-diffutils] bug#72236: bug#72236: generate programs' man pages in the source directory, per GCS

[Bruno Haible]

Jim Meyering wrote:
> I've applied your patch with one small change

https://git.savannah.gnu.org/gitweb/?p=diffutils.git;a=commitdiff;h=7f9bf95640db00aaf82125799429732b99c5f730

Marking as done.