docker: install ocrd-all-*.json into ocrd dist

OCR-D · Jul 4, 2024 · 60c7f7a · 60c7f7a
1 parent 1f065ad
commit 60c7f7a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -118,6 +118,7 @@ RUN set -ex && \
     make $PARALLEL all && \
 # preinstall ocrd-all-tool.json and ocrd-all-module-dir.json
     make ocrd-all-tool.json ocrd-all-module-dir.json && \
+    cp ocrd-all-tool.json ocrd-all-module-dir.json core/src/ocrd && \
 # remove unneeded automatic deps and clear pkg cache
     apt-get -y remove automake autoconf libtool pkg-config g++ && \
     apt-get -y clean && \