| commit | 6e25feff70298646fe4dd070c35ec7f8f31b611c | [log] [tgz] |
|---|---|---|
| author | Patrick Georgi <patrick@georgi.software> | Wed May 30 18:15:20 2018 +0200 |
| committer | Patrick Georgi <pgeorgi@google.com> | Thu Jun 07 11:33:15 2018 +0000 |
| tree | b079b9ec60fd215c77a6da88db6199ea85426e72 | |
| parent | 362a73409103ae076172ea58f3f1c1a8fbdc6b00 [diff] |
util/docker/docs.coreboot.org: Downgrade sphinx Sphinx >= 1.6 can't use recommonmark. debian/stable is ancient enough to have an older version. Change-Id: I287deab9168ab6124b05d0c6d6e8cdbd7fdc2eec Signed-off-by: Patrick Georgi <patrick@georgi.software> Reviewed-on: https://review.coreboot.org/26699 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>