From 9600ffd9d0ad8d736859dbbf828de1321abc21e0 Mon Sep 17 00:00:00 2001
From: 魏曹先生 <1992414357@qq.com>
Date: Mon, 3 Aug 2026 00:45:34 +0800
Subject: chore(docs): add Arborium header to docs build

Add the Arborium JS library header to the documentation build via
RUSTDOCFLAGS and docs.rs metadata so generated docs include the
interactive Arborium components.
---
 mingling/arborium-header.html | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 mingling/arborium-header.html

(limited to 'mingling/arborium-header.html')

diff --git a/mingling/arborium-header.html b/mingling/arborium-header.html
new file mode 100644
index 0000000..f1f3655
--- /dev/null
+++ b/mingling/arborium-header.html
@@ -0,0 +1,4 @@
+<script
+    defer
+    src="https://cdn.jsdelivr.net/npm/@arborium/arborium@2.18.0/dist/arborium.iife.js"
+></script>
-- 
cgit