Tue, 31 Dec 2024 09:34:24 -0500
Early transport sketches
| 6 
bcb508479948
README fine-tuning and build.rs for uglifying it for rustdoc.
 Tuomo Valkonen <tuomov@iki.fi> parents: diff
changeset | 1 | #!/bin/sh | 
| 
bcb508479948
README fine-tuning and build.rs for uglifying it for rustdoc.
 Tuomo Valkonen <tuomov@iki.fi> parents: diff
changeset | 2 | RUSTDOCFLAGS="--html-in-header misc/katex-header.html" cargo d --no-deps "$@" | 
| 
bcb508479948
README fine-tuning and build.rs for uglifying it for rustdoc.
 Tuomo Valkonen <tuomov@iki.fi> parents: diff
changeset | 3 | |
| 
bcb508479948
README fine-tuning and build.rs for uglifying it for rustdoc.
 Tuomo Valkonen <tuomov@iki.fi> parents: diff
changeset | 4 |