Crates.io | dvi2html |
lib.rs | dvi2html |
version | 0.2.0 |
source | src |
created_at | 2020-05-18 18:11:36.593909 |
updated_at | 2020-05-18 21:59:27.007053 |
description | A dvi2html converter |
homepage | |
repository | https://github.com/jhoobergs/dvi2html-rs/tree/master/crate |
max_upload_size | |
id | 243120 |
size | 117,423 |
dvi2html
A dvi2html converter written in Rust.
let mut input_owned = Vec::new();
File::open("file.dvi")
.unwrap()
.read_to_end(&mut input_owned)
.unwrap();
println!("{}", dvi2html(&input_owned).unwrap());
cargo build
Create tfmdata file (if json file changes)
cargo run --bin tfm
cargo test