[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Patch] distclean should not rm lib/readline/doc/Makefile
|
From: |
Chet Ramey |
|
Subject: |
Re: [Patch] distclean should not rm lib/readline/doc/Makefile |
|
Date: |
Tue, 16 Mar 2021 14:06:51 -0400 |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 |
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 chet@case.edu http://tiswww.cwru.edu/~chet/