#1460 In the Docker README, make all the images with shared libraries to limit the disk used.

Docker/README.md

@@ -16,7 +16,7 @@ For instance (when run from the root of the project):
 ````
 DOCKER_BUILDKIT=1 docker build -t registry.gitlab.inria.fr/morefem/corelibrary/morefem/ubuntu_gcc_debug_shared --progress=plain -f Docker/Dockerfile --build-arg os=fedora --build-arg mode=debug --build-arg compiler=gcc --build-arg is_single_library=False --build-arg  library_type=shared .
 
-DOCKER_BUILDKIT=1 docker build -t registry.gitlab.inria.fr/morefem/corelibrary/morefem/fedora_clang_release_static --progress=plain -f Docker/Dockerfile --build-arg os=fedora --build-arg mode=release --build-arg compiler=clang --build-arg is_single_library=True --build-arg  library_type=static .
+DOCKER_BUILDKIT=1 docker build -t registry.gitlab.inria.fr/morefem/corelibrary/morefem/fedora_clang_release_shared --progress=plain -f Docker/Dockerfile --build-arg os=fedora --build-arg mode=release --build-arg compiler=clang --build-arg is_single_library=True --build-arg  library_type=shared .
 
 DOCKER_BUILDKIT=1 docker build -t registry.gitlab.inria.fr/morefem/corelibrary/morefem/fedora_clang_debug_shared --progress=plain -f Docker/Dockerfile --build-arg os=fedora --build-arg mode=debug --build-arg compiler=clang --build-arg is_single_library=False --build-arg  library_type=shared .
 ````