resources types: file, directory, archive

Co-authored-by: Robert Sachunsky <38561704+bertsky@users.noreply.github.com>
OCR-D · Feb 14, 2022 · 099141d · 099141d
1 parent 21d81c9
commit 099141d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ocrd_tool.schema.yml b/ocrd_tool.schema.yml
@@ -156,7 +156,7 @@ properties:
                   description: Name to store the resource as
                 type:
                   type: string
-                  enum: ['file', 'github-dir', 'tarball']
+                  enum: ['file', 'directory', 'archive']
                   default: file
                   description: Type of the URL
                 parameter_usage: