Merge pull request #4148 from zhanghongyi/generate-pulldown

[ci skip] Generate docs pulldown menu using sphinx toctree
5 files changed