diff options
| author | Nick White <git@njw.name> | 2019-07-23 16:21:35 +0100 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2019-07-23 16:21:35 +0100 |
| commit | 37b0a4ab075a9b526a7ab8508282039f37355d93 (patch) | |
| tree | 5a5bf86042244bbd0f6527252b34bd6535d98535 | |
| parent | e99fd516431e146935557f41882cd4729073b120 (diff) | |
fix hocrtotxtdir.sh
| -rw-r--r-- | hocrtotxtdir.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hocrtotxtdir.sh b/hocrtotxtdir.sh index 20c45a5..d627670 100644 --- a/hocrtotxtdir.sh +++ b/hocrtotxtdir.sh @@ -2,4 +2,4 @@ usage="usage: $0 dirname" test $# -ne 1 && echo "$usage" && exit 1 -for i in "$1"/*hocr; do b=`basename "$i" .hocr`; d=`dirname "$i"`; ~/rescribe/2018-natphil/src/go/bin/hocrtotxt "$i" > "$d/$b.txt"; done +for i in "$1"/*hocr; do b=`basename "$i" .hocr`; d=`dirname "$i"`; hocrtotxt "$i" > "$d/$b.txt"; done |