diff options
| author | Nick White <git@njw.name> | 2021-02-09 17:45:35 +0000 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2021-02-09 17:45:35 +0000 |
| commit | 45943f847b3db8db5142c79a806f251659264ca0 (patch) | |
| tree | 10b1c484f6d858f0dedc267c10dfe97f80342799 /preproc%25252525253fh%25252525253dv0.1.4&id%25252525253d69ab835ebcc7efb9162741e3f0f04f22d1ed4708 | |
| parent | 13ce8fc4b45073e1f81a39c4923e44420509be73 (diff) | |
hocr: Use extracted page name for line naming
This means that even in multi page hocrs with lines with the same
id (like line_1_1), then the page name will be different, so
extracthocrlines now won't mistakenly name different lines the same
and therefore overwrite them.
Diffstat (limited to 'preproc%25252525253fh%25252525253dv0.1.4&id%25252525253d69ab835ebcc7efb9162741e3f0f04f22d1ed4708')
0 files changed, 0 insertions, 0 deletions