Re: [PATCH v2 00/53] Get rid of Docbook

[Jim Davis]

On Fri, Jun 16, 2017 at 7:03 AM, Markus Heiser
<markus.heiser@xxxxxxxxxxx> 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