PAGE API: add __hash__ to generated code

... so instances of generateDS-generated class can be used as keys in dict etc.
OCR-D · Feb 19, 2020 · c8ae6af · c8ae6af
1 parent b063737
commit c8ae6af
Show file tree

Hide file tree

Showing 3 changed files with 652 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -81,6 +81,7 @@ generate-page: repo/assets
 	generateDS \
 		-f \
 		--root-element='PcGts' \
+		--user-methods='ocrd_models/ocrd_page_user_methods.py' \
 		-o ocrd_models/ocrd_models/ocrd_page_generateds.py \
 		repo/assets/data/schema/data/$(PAGE_VERSION).xsd