diff options
| author | Tom Hiller <thrilleratplay@gmail.com> | 2018-08-18 19:39:55 -0400 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-08-23 15:56:31 +0000 |
| commit | fcca617eaf6389e76d51c636329b3ed131deccd0 (patch) | |
| tree | 0a3c95175de0c7c380bf50ba1b750ce76ea107ba /src/lib/gnat/ada.ads | |
| parent | 651b11be2d850ddef2be9aa811c5ce6102c4749c (diff) | |
util/docker/doc.coreboot.org/Dockerfile: Use alpine:3.8, Sphinx 1.7
With Alpine base, use pip to install Sphinx 1.7 and Sphinx-autobuild
Alpine, a 4.5MB base, is used over Debian Stable, 101MB, to cut down the
total size of the docker image.
Change-Id: I53f246206458b1de34cd7f3a42481b91ca285ff0
Signed-off-by: Tom Hiller <thrilleratplay@gmail.com>
Reviewed-on: https://review.coreboot.org/28211
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/lib/gnat/ada.ads')
0 files changed, 0 insertions, 0 deletions