| commit | 9e789e28fb22fb9fa72891fa4558582d84627b4a | [log] [tgz] |
|---|---|---|
| author | Marc Kupietz <kupietz@ids-mannheim.de> | Thu Mar 05 09:09:54 2026 +0100 |
| committer | Marc Kupietz <kupietz@ids-mannheim.de> | Thu Mar 05 09:09:54 2026 +0100 |
| tree | 03466608aab9e71b282457149d0c7c57381ba2c0 | |
| parent | 5b3ecc0f54abee926f72ce073889a64a7298a7fa [diff] [blame] |
Switch to docker based tei2korapxml Change-Id: I249e20013da59bae3df1240db2f538280dc454ec
diff --git a/Makefile b/Makefile index 4c5baad..8e0db74 100644 --- a/Makefile +++ b/Makefile
@@ -38,7 +38,7 @@ $(BUILD_DIR)/%.zip: $(SRC_DIR)/%.i5.xml mkdir -p $(BUILD_DIR) - tei2korapxml --progress -l warn -s -tk $< > $@ + docker run --rm -i korap/tei2korapxml:latest -l warn -s -tk - < $< > $@ printf "%s\t%s\n" "$(grep -c '<idsText ' $<)" "$(unzip -l $@ | grep data.xml | wc -l)"