diff --git a/contrib/docker/Dockerfile b/tools/docker/Dockerfile similarity index 100% rename from contrib/docker/Dockerfile rename to tools/docker/Dockerfile diff --git a/contrib/docker/README.md b/tools/docker/README.md similarity index 100% rename from contrib/docker/README.md rename to tools/docker/README.md diff --git a/contrib/docker/build.sh b/tools/docker/build.sh similarity index 100% rename from contrib/docker/build.sh rename to tools/docker/build.sh diff --git a/contrib/docker/gen-server-cfg.sh b/tools/docker/gen-server-cfg.sh similarity index 100% rename from contrib/docker/gen-server-cfg.sh rename to tools/docker/gen-server-cfg.sh diff --git a/contrib/docker/run.sh b/tools/docker/run.sh similarity index 100% rename from contrib/docker/run.sh rename to tools/docker/run.sh