misc/cargo-d@eb07aee01d57
misc/cargo-d
Thu, 07 Nov 2024 13:47:52 -0500
- author
- Tuomo Valkonen <tuomov@iki.fi>
- date
- Thu, 07 Nov 2024 13:47:52 -0500
- changeset 32
- eb07aee01d57
- parent 26
-
be0f9185b075
- permissions
- -rwxr-xr-x
Higher τ and lower maxiter
#!/bin/sh
RUSTDOCFLAGS="--html-in-header misc/katex-header.html" cargo d --no-deps "$@"