Update docker to use tei-publisher-lib 3.1.0

eeditiones · Aug 22, 2023 · 7ecd6f0 · 7ecd6f0
1 parent 2bf8a1f
commit 7ecd6f0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.devcontainer/Dockerfile.dev b/.devcontainer/Dockerfile.dev
@@ -2,7 +2,7 @@ FROM mcr.microsoft.com/devcontainers/java:8-bullseye
 
 ARG EXIST_VERSION=6.2.0
 ARG TEMPLATING_VERSION=1.1.0
-ARG PUBLISHER_LIB_VERSION=3.0.0
+ARG PUBLISHER_LIB_VERSION=3.1.0
 ARG ROUTER_VERSION=1.8.1
 ARG EDITOR_VERSION=1.0.1
 

diff --git a/Dockerfile b/Dockerfile
@@ -31,7 +31,7 @@ FROM builder as tei
 
 # TODO(DP): Demo App Versions need updating
 ARG TEMPLATING_VERSION=1.1.0
-ARG PUBLISHER_LIB_VERSION=3.0.0
+ARG PUBLISHER_LIB_VERSION=3.1.0
 ARG ROUTER_VERSION=1.8.1
 ARG SHAKESPEARE_VERSION=2.0.1
 ARG VANGOGH_VERSION=2.0.0