Re: [Patch] distclean should not rm lib/readline/doc/Makefile

On 3/16/21 11:38 AM, Mike Jonkmans wrote: A 'make distclean' removes lib/readline/doc/Makefile It is a handmade Makefile, so probably should not be removed. Thanks for the report. It shouldn't be in the bash distribution at all; it exists only for my convenience. -- ``The lyf so short, the cr

[Patch] distclean should not rm lib/readline/doc/Makefile

A 'make distclean' removes lib/readline/doc/Makefile It is a handmade Makefile, so probably should not be removed. Idem for maintainer-clean. Regards, Mike Jonkmans diff --git lib/readline/doc/Makefile lib/readline/doc/Makefile index af5ee3e5..6bc2e5ea 100644 --- lib/readline/doc/Makefile +++ l