docs: add interactive table of contents (#3111)

2024-08-30 19:35:44 -04:00
parent b95309a244
commit f6659e6641
14 changed files with 73 additions and 3 deletions
--- a/docs/building.md
+++ b/docs/building.md
@@ -160,3 +160,8 @@ It may be beneficial to build remotely in some cases. This will enable easier bu
 | [Troubleshooting](troubleshooting.md) | [Contributing](contributing.md) |

 </div>
+
+<details style="display: none;">
+  <summary></summary>
+  [TOC]
+</details>