On Thu, Jul 6, 2017 at 1:54 AM, Markus Heiser <markus.hei...@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 -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
