This is the mail archive of the
gdb-prs@sources.redhat.com
mailing list for the GDB project.
Re: build/1367: readline/doc/history.0 deleted
- From: Michael Elizabeth Chastain <mec at shout dot net>
- To: nobody at sources dot redhat dot com
- Cc: gdb-prs at sources dot redhat dot com,
- Date: 2 Sep 2003 17:28:01 -0000
- Subject: Re: build/1367: readline/doc/history.0 deleted
- Reply-to: Michael Elizabeth Chastain <mec at shout dot net>
The following reply was made to PR build/1367; it has been noted by GNATS.
From: Michael Elizabeth Chastain <mec@shout.net>
To: gdb-gnats@sources.redhat.com
Cc:
Subject: Re: build/1367: readline/doc/history.0 deleted
Date: Tue, 2 Sep 2003 13:22:52 -0400
How come there's a history.0 and not a readline.0 ?
Anyways, it looks like readline/doc/Makefile.in deletes both
history.0 and readline.0 because distclean depends on
maybe-clean, and maybe-clean has a weird rule:
if $(topdir) != $(BUILD_DIR) then
$(RM) $(DIST_DOCS)
fi
I don't understand what that maybe-clean is all about.
I will go look.
Michael C