diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-03 00:45:34 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-03 00:45:34 +0800 |
| commit | 9600ffd9d0ad8d736859dbbf828de1321abc21e0 (patch) | |
| tree | ce6aa9ba75822ff7fb80523c244b44819db094af /.run/src/bin/doc.sh | |
| parent | b9d5d8e2c442d73245b66c585afde8846c38d9c1 (diff) | |
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.
Diffstat (limited to '.run/src/bin/doc.sh')
| -rwxr-xr-x | .run/src/bin/doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |