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

Jim Davis
2017-07-14T23:15:27Z

On Thu, Jul 6, 2017 at 1:54 AM, Markus Heiser <markus.heiser@darmarit.de> 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.

--
Jim