diff --git a/.circleci/config.yml b/.circleci/config.yml
index 92bcd63..3c29431 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -10,8 +10,27 @@ jobs:
       - run: git submodule update --init
       - run: sudo make test
 
+  deploy-docker:
+    docker:
+      - image: circleci/buildpack-deps:stretch
+    steps:
+      - checkout
+      - setup_remote_docker: # https://circleci.com/docs/2.0/building-docker-images/
+          docker_layer_caching: true
+      - run: make docker
+      - run:
+          name: Login to Docker Hub
+          command: echo "$DOCKERHUB_PASS" | docker login --username "$DOCKERHUB_USER" --password-stdin
+      - run: docker push ocrd/fileformat
+
 workflows:
   version: 2
   build-master:
     jobs:
       - build
+  deploy:
+    jobs:
+      - deploy-docker:
+          filters:
+            branches:
+              only: master
diff --git a/ocrd-tool.json b/ocrd-tool.json
index 6ce758e..8437d91 100644
--- a/ocrd-tool.json
+++ b/ocrd-tool.json
@@ -44,10 +44,12 @@
             "hocr page",
             "hocr text",
             "page alto",
+            "page alto_legacy",
             "page hocr",
             "page page2019",
             "page text",
-            "tei hocr"
+            "tei hocr",
+            "textract page"
           ]
         },
         "ext": {