From 8c1b6d65f57f1fba9c7e71980cb97934460b7073 Mon Sep 17 00:00:00 2001
From: kba <unixprog@gmail.com>
Date: Fri, 11 Apr 2025 17:49:53 +0200
Subject: [PATCH] Dockerfile: build ocrd-all-tool.json

---
 Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index d4b2b76..75dfcdd 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -29,6 +29,9 @@ ENV XDG_CONFIG_HOME /usr/local/share/ocrd-resources
 
 WORKDIR /build/dinglehopper
 COPY . .
+COPY ocrd-tool.json .
+# prepackage ocrd-tool.json as ocrd-all-tool.json
+RUN ocrd ocrd-tool ocrd-tool.json dump-tools > $(dirname $(ocrd bashlib filename))/ocrd-all-tool.json
 RUN make install && rm -rf /build/dinglehopper
 
 WORKDIR /data