diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2019-12-10 20:27:38 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-12-12 08:18:49 +0000 |
| commit | a73317e5cff3d104d567c341b114d242e0c0e5c0 (patch) | |
| tree | 7366781ce486cdd1a740c9590419bbe40c11b1cf /Documentation/conf.py | |
| parent | 5ee82832503ab46affbc5f12ce1088046e8ae28c (diff) | |
Documentation: enable ditaa integration
For prettier diagrams: http://ditaa.sourceforge.net/
Change-Id: Ic28dc5ea9d82ff6bf8654e2e33e675a536348654
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37646
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'Documentation/conf.py')
| -rw-r--r-- | Documentation/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 85df9ea51e..8848ee6512 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -25,6 +25,8 @@ release = subprocess.check_output(('git', 'describe')).decode("utf-8") # The short X.Y version. version = release.split("-")[0] +extensions = ['sphinxcontrib.ditaa'] + # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. # |