On Fri, Jun 16, 2017 at 7:03 AM, Markus Heiser <markus.hei...@darmarit.de> wrote: >
> docproc and some lines in the Makefile & .gitignore > > ./scripts/docproc.c > ./scripts/.docproc.cmd > ./scripts/Makefile > ./scripts/.gitignore With 4.12, running make xmldocs (or any other working target) and then "make cleandocs; git clean -fdx" turns up Removing scripts/.check-lc_ctype.cmd Removing scripts/.docproc.cmd Removing scripts/basic/.fixdep.cmd Removing scripts/basic/fixdep Removing scripts/check-lc_ctype Removing scripts/docproc -- Jim
