[coreboot-gerrit] Change in coreboot[master]: Documentation: enable ditaa integration

[Patrick Georgi (Code Review)]

Hello build bot (Jenkins), Martin Roth,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/37646

to look at the new patch set (#2).

Change subject: Documentation: enable ditaa integration
......................................................................

Documentation: enable ditaa integration

For prettier diagrams: http://ditaa.sourceforge.net/

Change-Id: Ic28dc5ea9d82ff6bf8654e2e33e675a536348654
Signed-off-by: Patrick Georgi 
---
M Documentation/conf.py
M util/docker/doc.coreboot.org/Dockerfile
A util/docker/doc.coreboot.org/ditaa.sh
3 files changed, 12 insertions(+), 1 deletion(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/46/37646/2