diff options
| author | Patrick Rudolph <siro@das-labor.org> | 2020-05-17 20:04:12 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-07-01 21:51:26 +0000 |
| commit | f664321508e1ebfd56f656cbf852997716bbbb3d (patch) | |
| tree | 0f553602bb2a492f040d10fe55b2f9d7c4a24f58 /configs | |
| parent | ecdbc842e2d48362f27b8652d05606d93d1d7e26 (diff) | |
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 <siro@das-labor.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41492
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions