From d09e3969f820c425d65e27d5b33baca9b191f9c1 Mon Sep 17 00:00:00 2001
From: Robert Sachunsky <sachunsky@informatik.uni-leipzig.de>
Date: Fri, 2 May 2025 00:18:38 +0200
Subject: [PATCH] docker: prepackage ocrd-all-module-dir.json

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

diff --git a/Dockerfile b/Dockerfile
index c9b5523..7064efc 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -32,6 +32,8 @@ 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
+# prepackage ocrd-all-module-dir.json
+RUN ocrd ocrd-tool ocrd-tool.json dump-module-dirs > $(dirname $(ocrd bashlib filename))/ocrd-all-module-dir.json
 RUN make install && rm -rf /build/dinglehopper
 
 WORKDIR /data