dvi-to-text
| Crates.io | dvi-to-text |
| lib.rs | dvi-to-text |
| version | 0.2.1 |
| source | src |
| created_at | 2022-11-11 12:14:57.07777 |
| updated_at | 2022-11-19 10:09:45.835045 |
| description | dvi-to-text is a small tool converting a DVI file (output from TeX/LaTeX) to a string representation of the text contained in the document. |
| homepage | https://github.com/jared-hughes/dvi-to-text |
| repository | https://github.com/jared-hughes/dvi-to-text |
| max_upload_size | |
| id | 712822 |
| size | 18,897 |
Jared Hughes (jared-hughes)
documentation
https://github.com/jared-hughes/dvi-to-text
README
DVI to Text
Converts a DVI file (as output from TeX/LaTeX) to a slice of bytes representing what might be the text displayed in the document. DVI files have no concept of Unicode; each character command draws a character (value 0 to 255) in a certain font, including fonts that might not have an ASCII subset. This tool discards the font information.
The tool inserts newline bytes 0x0A for vertical spaces and page breaks, and space bytes 0x20 for horizontal spaces between characters. Newline and space bytes are inserted proportional to the length of spaces.
Includes a command-line interface to output to stdout. Example usage:
dvi-to-text tests/abc.dvi