diff --git a/bin/ls-all-repos b/bin/ls-all-repos
index 2415030..12cc082 100755
--- a/bin/ls-all-repos
+++ b/bin/ls-all-repos
@@ -1,38 +1,42 @@
 #!/bin/bash
 
 cd "$( dirname "$0" )/.."
 
 abspath=no
 
 if [ "$1" == "-a" -o "$1" == "--absolute" ] ; then
     abspath=yes
 fi
 
 warn () {
     echo "W: $@" 1>&2
 }
 
 # list known repositories
 mr -t list \
     | grep '^mr list:' | grep -v '^mr list: finished' \
     | awk '{print $3}' \
     | while read repo_abspath ; do
         if [ "$abspath" == "no" ] ; then
             basename $repo_abspath
         else
 	    echo $repo_abspath
 	fi
       done
 
 # list obsolete repositories
 find . -mindepth 1 -maxdepth 1 -type d -not -path '*/\.*' |
     while read dir ; do
 	dir=${dir#./}  # strip "./" prefix
-	if [ "$dir" == ".git" -o "$dir" == "bin" -o "$dir" == "packages" \
-		    -o "$dir" == "doc" ] ; then
+	if [ "$dir" == ".git" \
+	     -o "$dir" == "bin" \
+	     -o "$dir" == "doc" \
+	     -o "$dir" == "docker" \
+	     -o "$dir" == "packages" \
+	   ] ; then
 	    continue
 	fi
 	if ! grep -q "^\[${dir}\]" .mrconfig ; then
 	    warn "unknown repository '$dir', you might want to remove it"
 	fi
     done