misc/cargo-d@be105c046777
misc/cargo-d
Wed, 22 Jul 2026 16:48:22 -0500
- author
- Tuomo Valkonen <tuomov@iki.fi>
- date
- Wed, 22 Jul 2026 16:48:22 -0500
- changeset 77
- be105c046777
- parent 6
-
bcb508479948
- permissions
- -rwxr-xr-x
PDPSConfig.generic -> insertion in consistency with others
#!/bin/sh
RUSTDOCFLAGS="--html-in-header misc/katex-header.html" cargo d --no-deps "$@"