projects / platform / kernel / linux-rpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adf31ee) | patch
doc: Makefile: if sphinx is not found, run a check script
authorMauro Carvalho Chehab <mchehab@s-opensource.com>
Sun, 16 Jul 2017 22:08:06 +0000 (19:08 -0300)
committerJonathan Corbet <corbet@lwn.net>
Thu, 24 Aug 2017 19:18:30 +0000 (13:18 -0600)
commit92a037f01ab3e7b8e5b0533faf42d4bbfce04e98
treee0667f9f8b09179d3a9eebdbb3611ab572e67543tree | snapshot
parentadf31eebd75e9e7c2eda222695637398b3872a68commit | diff
doc: Makefile: if sphinx is not found, run a check script

Right now, if the building system doesn't find Sphinx, it
bails out, without providing any instructions about what
should be done.

Instead, run a script, providing some guidance about the
steps needed for Sphinx build to work.

Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Documentation/Makefile diff | blob | history
Domain: System / Kernel;