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

From: Jim Davis
Date: Fri Jul 14 2017 - 19:15:31 EST

On Thu, Jul 6, 2017 at 1:54 AM, Markus Heiser <markus.heiser@xxxxxxxxxxx> wrote:

> 52b3f23 Docs: clean up some DocBook loose ends

Speaking of minor loose ends,

make SPHINXDIRS=userspace-api pdfdocs

works -- though now that it's all sphinx, wouldn't just DIRS be better? -- and

make DOCBOOKS=userspace-api pdfdocs

still works too. But that generates all of the pdf files, and not
just the userspace-api.pdf. And running now-dead targets like "make
ps" or "make sgmldocs" or "make mandocs" just returns with no output.