From 7c5dd9e0aa454f1cf926dd51dece11e2de824215 Mon Sep 17 00:00:00 2001
From: Stuart Hinson <stuart.hinson@gmail.com>
Date: Fri, 26 Jan 2024 08:32:50 -0500
Subject: [PATCH] allow attributes in doc headers

include ENABLE_HEADING_ATTRIBUTES markdown option
---
 crates/docs/src/lib.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/crates/docs/src/lib.rs b/crates/docs/src/lib.rs
index 5fc3d5753a..820e4c8742 100644
--- a/crates/docs/src/lib.rs
+++ b/crates/docs/src/lib.rs
@@ -1015,7 +1015,8 @@ fn markdown_to_html(
         }
     };
 
-    let markdown_options = pulldown_cmark::Options::ENABLE_TABLES;
+    let markdown_options =
+        pulldown_cmark::Options::ENABLE_TABLES | pulldown_cmark::Options::ENABLE_HEADING_ATTRIBUTES;
 
     let mut in_code_block: Option<CowStr> = None;
     let mut to_highlight = String::new();