diff options
author | 2021-01-20 15:09:35 +0000 | |
---|---|---|
committer | 2021-01-20 15:09:35 +0000 | |
commit | 260f1e9a5fddadb6f0a5ecfd4fcb7498ec8b08fe (patch) | |
tree | aaf39ebb01b1cb5ff90d4118ba46dee7b77642f1 /docs/requirements-docs.txt | |
parent | d81bfccfb32a9c368e4542855e733bf18552ead4 (diff) | |
parent | 090941b572c917d8e84ea709eb3696fdc8f53be1 (diff) |
Merge "[COMMON] Add doc linting" into guilin
Diffstat (limited to 'docs/requirements-docs.txt')
-rw-r--r-- | docs/requirements-docs.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/requirements-docs.txt b/docs/requirements-docs.txt index b3188ddd38..e14c784ee4 100644 --- a/docs/requirements-docs.txt +++ b/docs/requirements-docs.txt @@ -8,6 +8,7 @@ sphinx_rtd_theme>=0.4.3 sphinxcontrib-blockdiag sphinxcontrib-needs>=0.2.3 sphinxcontrib-nwdiag +sphinxcontrib-redoc sphinxcontrib-seqdiag sphinxcontrib-swaggerdoc sphinxcontrib-plantuml |