From b079ae972d1bd9f2f854e07ea43f4d700b2e487c Mon Sep 17 00:00:00 2001 From: Andrey Andreev Date: Fri, 2 Oct 2015 16:50:04 +0300 Subject: Merge pull request #4148 from zhanghongyi/generate-pulldown [ci skip] Generate docs pulldown menu using sphinx toctree --- .../source/_themes/sphinx_rtd_theme/pulldown.html | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html') diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html b/user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html new file mode 100644 index 000000000..7877346d8 --- /dev/null +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html @@ -0,0 +1,17 @@ + + -- cgit v1.2.3-24-g4f1b