On Fri, Nov 01, 2024 at 01:25:46PM -0400, Chet Ramey wrote:
> On 10/29/24 1:04 PM, Mike Jonkmans wrote:
> > Hi Chet et al.,
> >
> > If I run, on devel (4917f285):
> > - ./configure
> > - make
> > - make clean
> > - git status
> >
> > I would expect to see nothing special.
> > Instead:
> > a) a wh
On 10/29/24 1:04 PM, Mike Jonkmans wrote:
Hi Chet et al.,
If I run, on devel (4917f285):
- ./configure
- make
- make clean
- git status
I would expect to see nothing special.
Instead:
a) a whole bunch of files got deleted in lib/readline/doc.
Yeah. Those files aren't part of the bash distribu
