Re: "make distclean" doesn't get rid of scripts/docproc

2017-07-17 Thread Jim Davis
On Fri, Jul 14, 2017 at 3:16 AM, Robert P. J. Day wrote: > > just noticed that distclean doesn't remove the generated executable > scripts/docproc, whose responsibility is that? It looks like that's been cleaned up now in v4.13-rc1, though scripts/basic/{fixdep,.fixdep.cmd} are still loitering

"make distclean" doesn't get rid of scripts/docproc

2017-07-14 Thread Robert P. J. Day
just noticed that distclean doesn't remove the generated executable scripts/docproc, whose responsibility is that? rday -- Robert P. J. Day Ottawa, Ontario, CANADA