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

[Chet Ramey]

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 craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    c...@case.edu    http://tiswww.cwru.edu/~chet/