diff options
| author | Mauro Carvalho Chehab <mchehab@s-opensource.com> | 2017-07-16 19:08:06 -0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-08-24 13:18:30 -0600 |
| commit | 92a037f01ab3e7b8e5b0533faf42d4bbfce04e98 (patch) | |
| tree | e0667f9f8b09179d3a9eebdbb3611ab572e67543 /Documentation/conf.py | |
| parent | adf31eebd75e9e7c2eda222695637398b3872a68 (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>
Diffstat (limited to 'Documentation/conf.py')
0 files changed, 0 insertions, 0 deletions