Thu, 23 Jan 2025 23:48:52 +0100
README updates
| 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 |