From 0d9d0fd651455949401b984f88aae57968fe6c22 Mon Sep 17 00:00:00 2001
From: Adarsh <Adarshbunny293@gmail.com>
Date: Thu, 2 Jan 2025 11:56:24 +0530
Subject: [PATCH] Feat: Enabled Interactive Table of Contents (TOC)

The TOC now dynamically updates as the user scrolls through the document.

Signed-off-by: Adarsh <Adarshbunny293@gmail.com>
---
 docs/doxygen/doxygen.cfg     | 1 +
 docs/doxygen/p4c_header.html | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/docs/doxygen/doxygen.cfg b/docs/doxygen/doxygen.cfg
index fed310f0df..c52d540dc0 100644
--- a/docs/doxygen/doxygen.cfg
+++ b/docs/doxygen/doxygen.cfg
@@ -1439,6 +1439,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
index c9502f01e5..fb8981e6cc 100644
--- 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