diff options
Diffstat (limited to 'pdf_dump_first_page.sh')
| -rw-r--r-- | pdf_dump_first_page.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/pdf_dump_first_page.sh b/pdf_dump_first_page.sh deleted file mode 100644 index 2749915d..00000000 --- a/pdf_dump_first_page.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/bash - -for i in datasets/s2/pdf/*/*/*.pdf - do - OUTPUT="${i%.*}.txt" - if [[ ! -e $OUTPUT ]] - then - pdf2txt.py -p 1 $i > $OUTPUT - echo $OUTPUT - else - if [ -s $OUTPUT ] - then - echo "found $OUTPUT" - else - echo "rm empty $OUTPUT" - rm -f $OUTPUT - fi - fi - done |
