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.
---
 .run/src/bin/doc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.run/src/bin/doc.sh')

diff --git a/.run/src/bin/doc.sh b/.run/src/bin/doc.sh
index 9267a07..d6181d3 100755
--- a/.run/src/bin/doc.sh
+++ b/.run/src/bin/doc.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-cargo doc \
+RUSTDOCFLAGS="--html-in-header mingling/arborium-header.html" cargo doc \
   --manifest-path mingling/Cargo.toml \
   --no-deps \
   --features docs_rs,core,macros,builds,structural_renderer,repl,comp,parser,picker,clap,extra_macros,pathf \
-- 
cgit