diff options
author | Aric Gardner <agardner@linuxfoundation.org> | 2018-10-29 15:26:39 -0400 |
---|---|---|
committer | Aric Gardner <agardner@linuxfoundation.org> | 2018-10-29 15:27:44 -0400 |
commit | 71c4fe1bbff7345126880cdd916e8132857309fd (patch) | |
tree | db988d8ae381b2b0cfb947e9842ce1c24990d1bc /etc/pagemenu.html | |
parent | 131635a3c8cbf0781c08e7ccb9ea51615785f367 (diff) |
Bump Sphinx version to 1.5.6
1.5.6 allows:
intersphinx link using the ':doc:' directive.
And does not have the memory leak that was causing our build
to fail found in sphinx-build 1.6 onwards
Change-Id: I1a04871b2771a0123096629d706a6b2d375f520e
Signed-off-by: Aric Gardner <agardner@linuxfoundation.org>
Diffstat (limited to 'etc/pagemenu.html')
0 files changed, 0 insertions, 0 deletions