diff options
Diffstat (limited to 'pdf_dump_first_page.sh')
| -rw-r--r-- | pdf_dump_first_page.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pdf_dump_first_page.sh b/pdf_dump_first_page.sh index d1610b50..ec1d3bbb 100644 --- a/pdf_dump_first_page.sh +++ b/pdf_dump_first_page.sh @@ -3,7 +3,7 @@ for i in datasets/s2/pdf/*/*/*.pdf do OUTPUT="${i%.*}.txt" - if [ ! -e $OUTPUT ] + if [[ ! -e $OUTPUT ]] then pdf2txt.py -p 1 $i > $OUTPUT echo $OUTPUT |