[PATCH v2 00/53] Get rid of Docbook

[Jim Davis]

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