Tue, 31 Dec 2024 23:49:09 -0500
simplify
| 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 |