diff --git a/README.md b/README.md
index 7ed4276..3b95e11 100644
--- a/README.md
+++ b/README.md
@@ -25,13 +25,6 @@ Then to run:
     eris -h
     eris-webserver <project>  # Or a simple web interface.
 
-#### Docker
-
-    git clone https://gitlab.com/ahamilton/eris
-    cd eris
-    sudo docker build -t eris -f packaging/Dockerfile .
-    cp packaging/eris-docker ~/bin/eris    # e.g. Put wrapper script in your PATH
-
 ## Tools
 
 File types(101) | Tools(58)
diff --git a/packaging/make-readme.py b/packaging/make-readme.py
index ba28617..1c582cd 100755
--- a/packaging/make-readme.py
+++ b/packaging/make-readme.py
@@ -41,13 +41,6 @@ Then to run:
     eris -h
     eris-webserver <project>  # Or a simple web interface.
 
-#### Docker
-
-    git clone https://gitlab.com/ahamilton/eris
-    cd eris
-    sudo docker build -t eris -f packaging/Dockerfile .
-    cp packaging/eris-docker ~/bin/eris    # e.g. Put wrapper script in your PATH
-
 ## Tools
 
 File types({len(extension_set)-1}) | Tools({len(tool_set)})