Delete ocr binary

2024-06-26 19:49:18 +02:00
parent ace7c7ca0a
commit 3ad8aab530
1 changed files with 0 additions and 6 deletions
--- a/bin/ocr
+++ b/bin/ocr
@@ -1,6 +0,0 @@
-#!/bin/zsh
-mkdir -p OCRed || exit
-for pdf in *.pdf; do
-    print -- "OCRing ${pdf}"
-    ocrmypdf -l deu ${pdf} ./OCRed/${pdf};
-done