From 5398cd03230eadf81986fdb8b8e17a5f9e3b5a29 Mon Sep 17 00:00:00 2001 From: kthoden Date: Tue, 30 Jul 2019 13:57:30 +0200 Subject: [PATCH] Format uids --- tei2imxml.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tei2imxml.py b/tei2imxml.py index d287095..abb6a27 100755 --- a/tei2imxml.py +++ b/tei2imxml.py @@ -1360,7 +1360,7 @@ def main(): elements_with_ids = xml_add_bib.xpath("//div1 | //div2 | //div3 | //note | //item | //table | //EOAfigure/anchor | //EOAequation | //formula | //theorem") element_counter = 1 for element in elements_with_ids: - element.set("id", "uid" + str(element_counter)) + element.set("id", "uid" + '{:04d}'.format(element_counter)) element_counter += 1 assigned_ids, data_to_pickle = assign_ids(xml_add_bib, data, args.suppress_chapter_number)