Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-05-08 | Rename pdf prep tool as it creates the pdf too now | Nick White | |
2019-05-08 | Set DPI for images, and maximally compress jpg (with binarisation it doesn't ↵ | Nick White | |
make much difference) | |||
2019-05-08 | Add format-for-hocr-pdf.sh script | Nick White | |