diff --git a/Dockerfile b/Dockerfile index 22e516f047..8653468bac 100644 --- a/Dockerfile +++ b/Dockerfile @@ -20,7 +20,7 @@ COPY nginx.conf /etc/nginx/nginx.conf # Create archive; check out each version, create HTML under target/$VER, tweak links # Nuke the archive_source directory. Only keep the target directory. -ENV VERSIONS="v1.4 v1.5 v1.6 v1.7 v1.8 v1.9 v1.10 v1.11 v1.12 v1.13" +ENV VERSIONS="v1.4 v1.5 v1.6 v1.7 v1.8 v1.9 v1.10 v1.11 v1.12 v1.13 v17.03" ## Use shallow clone and shallow check-outs to only get the tip of each branch