[coreboot-gerrit] Change in coreboot[master]: Documentation: Add several fixes

[Patrick Rudolph (Code Review)]

Hello build bot (Jenkins), Patrick Georgi, Martin Roth, Paul Menzel,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/41492

to look at the new patch set (#2).

Change subject: Documentation: Add several fixes
......................................................................

Documentation: Add several fixes

* Add support for Sphinx 3.0+
* Add backward support for Sphinx 1.8 and older
* Make sphinxcontrib ditaa an optional extension
* Allow SPHINXOPTS to be set from command line
* Add sphinx and sphinx-lint to top level Makefile

Change-Id: If10aef51dc426445cb742aad13b19ee7fe169c51
Signed-off-by: Patrick Rudolph 
---
M Documentation/Makefile.sphinx
M Documentation/conf.py
M Makefile
3 files changed, 37 insertions(+), 4 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/92/41492/2