diff options
Diffstat (limited to 'pdf_dump_first_page.sh')
| -rw-r--r-- | pdf_dump_first_page.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pdf_dump_first_page.sh b/pdf_dump_first_page.sh index ec1d3bbb..2749915d 100644 --- a/pdf_dump_first_page.sh +++ b/pdf_dump_first_page.sh @@ -7,5 +7,13 @@ for i in datasets/s2/pdf/*/*/*.pdf 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 |