Docker: fix order of ARGS in Dockerfile.

diff --git a/contrib/docker/Dockerfile b/contrib/docker/Dockerfile
index 48936a5d8950ab7235f66f5e04e9fa8b7611697f..0d545fbe89a5d3e4c25b61f686a345eb5f0fa8a3 100644 (file)
--- a/contrib/docker/Dockerfile
+++ b/contrib/docker/Dockerfile
@@ -1,9 +1,10 @@
 ARG IMG=focal    # Ubuntu image that contains all corresponding dependencies.
-ARG NJOBS=0      # Jobs used for building. Default: Use all available jobs.
-ARG VER=master   # deal.II branch that gets checked out.
 
 FROM dealii/dependencies:$IMG
 
+ARG NJOBS=0      # Jobs used for building. Default: Use all available jobs.
+ARG VER=master   # deal.II branch that gets checked out.
+
 LABEL maintainer="luca.heltai@gmail.com"
 
 USER root