diff options
| author | Felix Held <felix-coreboot@felixheld.de> | 2019-12-27 19:18:02 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-01-14 18:29:41 +0000 |
| commit | bfafa9e037044c317783e47a1ca77e8a17aad789 (patch) | |
| tree | a0906117b86f53c06757c480f07fc7c3cf72abed /.gitreview | |
| parent | 7bc90bce36b4f907cd5d309a9fa11c46635d1194 (diff) | |
Documentation: document non-Docker sphinx installation and usage
Also update the known-good versions of the needed tools.
Change-Id: I0f63860beb0a8a00360752318236e302c7170977
Signed-off-by: Felix Held <felix-coreboot@felixheld.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37952
Reviewed-by: Patrick Rudolph <siro@das-labor.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions