From 3ad8aab530455511307a274290f0b5eb74c95c76 Mon Sep 17 00:00:00 2001
From: "T. R. Bernstein" <137705289+trbernstein@users.noreply.github.com>
Date: Wed, 26 Jun 2024 19:49:18 +0200
Subject: [PATCH] Delete ocr binary

---
 bin/ocr | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100755 bin/ocr

diff --git a/bin/ocr b/bin/ocr
deleted file mode 100755
index 61defeb..0000000
--- a/bin/ocr
+++ /dev/null
@@ -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