Sun, 27 Apr 2025 20:29:43 -0500
Fix build with stable rust.
For optimisations, build.rs now automatically sets a nightly cfg flag,
so problems with the nightly feature are avoided. It is still used for
required for additional nightly-only features.
14
f5b9f4bf25a7
cargo-d alias generation with a cargo-d script
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff
changeset
|
1 | #!/bin/sh |
f5b9f4bf25a7
cargo-d alias generation with a cargo-d script
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff
changeset
|
2 | RUSTDOCFLAGS="--html-in-header misc/katex-header.html" cargo d --no-deps "$@" |
f5b9f4bf25a7
cargo-d alias generation with a cargo-d script
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff
changeset
|
3 | |
f5b9f4bf25a7
cargo-d alias generation with a cargo-d script
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff
changeset
|
4 |