[coreboot-gerrit] Change in coreboot[master]: util/docker/docs.coreboot.org: reduce container size

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/26895 )

Change subject: util/docker/docs.coreboot.org: reduce container size
......................................................................

Patch Set 1: Verified+1

Build Successful

https://qa.coreboot.org/job/coreboot-gerrit/74418/ : SUCCESS

https://qa.coreboot.org/job/coreboot-checkpatch/28535/ : SUCCESS