Dockerfile: build ocrd-all-tool.json

1 week ago · 8c1b6d65f5
parent f287386c0e
commit 8c1b6d65f5
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -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