Enable Interactive TOC

AdarshRawat1 · AdarshRawat1 · commit b635b554fc3c · 2025-01-02T12:05:28.000+05:30
diff --git a/docs/doxygen/doxygen.cfg b/docs/doxygen/doxygen.cfg
@@ -1412,6 +1412,7 @@ HTML_STYLESHEET        =
 HTML_EXTRA_STYLESHEET  = awesome_css/doxygen-awesome.css \
                          awesome_css/doxygen-awesome-sidebar-only.css \
                          awesome_css/doxygen-awesome-sidebar-only-darkmode-toggle.css \
+                         awesome_css/doxygen-awesome-interactive-toc.js \
                          ../assets/css/cards.css \
                          ../assets/css/flow.css \
                          ../assets/css/p4c_custom.css
diff --git a/docs/doxygen/p4c_header.html b/docs/doxygen/p4c_header.html
@@ -41,6 +41,12 @@
   DoxygenAwesomeDarkModeToggle.init()
 </script>
 
+<!-- Add interactive TOC -->
+<script type="text/javascript" src="$relpath^doxygen-awesome-interactive-toc.js"></script>
+<script type="text/javascript">
+  DoxygenAwesomeInteractiveToc.init()
+</script>
+
 $treeview
 $search
 $mathjax
