Merge remote-tracking branch 'bertsky/update-ocr-fileformat-textract2…

…page'

# Conflicts:
#	repo/ocr-fileformat

.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

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": {