On Fri, Jul 14, 2017 at 3:16 AM, Robert P. J. Day <rpjday@xxxxxxxxxxxxxx> 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 around.
--
Jim
--
To unsubscribe from this list: send the line "unsubscribe linux-doc" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
