summaryrefslogtreecommitdiff
path: root/cmd
diff options
context:
space:
mode:
authorNick White <git@njw.name>2021-02-09 17:45:35 +0000
committerNick White <git@njw.name>2021-02-09 17:45:35 +0000
commit45943f847b3db8db5142c79a806f251659264ca0 (patch)
tree10b1c484f6d858f0dedc267c10dfe97f80342799 /cmd
parent13ce8fc4b45073e1f81a39c4923e44420509be73 (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 'cmd')
0 files changed, 0 insertions, 0 deletions