diff --git a/docker/Dockerfile b/Docker/Dockerfile
similarity index 100%
rename from docker/Dockerfile
rename to Docker/Dockerfile
diff --git a/docker/README.md b/Docker/README.md
similarity index 100%
rename from docker/README.md
rename to Docker/README.md
diff --git a/docker/tlmgrDeps.sh b/Docker/tlmgrDeps.sh
similarity index 100%
rename from docker/tlmgrDeps.sh
rename to Docker/tlmgrDeps.sh
diff --git a/docker/x-install.sh b/Docker/x-install.sh
similarity index 100%
rename from docker/x-install.sh
rename to Docker/x-install.sh