Docs: build doc with new layout for target and version select

2020-07-30 11:47:24 +08:00
parent 23eff08638
commit 4e9d810dfb
9 changed files with 76 additions and 7 deletions
@@ -0,0 +1,7 @@
+
+<version_table>
+    <script src="_static/js/version_table.js"></script>
+    <ul id="version_list">
+
+    </ul>
+</version_table>