2022-12-05
Zenodo packaging hacks
#!/bin/sh RUSTDOCFLAGS="--html-in-header misc/katex-header.html" cargo d --no-deps "$@"