diff --git a/server-ce/Dockerfile b/server-ce/Dockerfile index 48efb5efc2..ffe80865a5 100644 --- a/server-ce/Dockerfile +++ b/server-ce/Dockerfile @@ -1,3 +1,4 @@ +# syntax=docker/dockerfile:1-labs # --------------------------------------------- # Overleaf Community Edition (overleaf/overleaf) # ---------------------------------------------