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

From: Markus Heiser
Date: Thu Jul 06 2017 - 04:55:16 EST



> Am 05.07.2017 um 23:45 schrieb Jim Davis <jim.epost@xxxxxxxxx>:
>
> 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

Tried with Jon's docs-next .. only 'fixdep' remains (not part
of Documentation). I guess the docproc & Co. was already fixed
by Jon [1]:

52b3f23 Docs: clean up some DocBook loose ends

[1] https://www.mail-archive.com/linux-doc@xxxxxxxxxxxxxxx/msg13238.html

-- Markus --