Linux kernel bug fix: Documentation/sphinx: skip build if user requested specific DOCBOOKS
Subsystem: docs (Documentation/Makefile.sphinx)
Bug type: unknown, severity: unknown
Files changed: Documentation/Makefile.sphinx
Introduced by Jani Nikula on 2016-05-30 13:38:51 +0300; fixed by Jani Nikula on 2016-07-01 16:16:07 -0600 (lifetime: 32 days)