diff options
| author | Jules <jules@asdf.us> | 2018-11-05 19:39:18 -0500 |
|---|---|---|
| committer | Jules <jules@asdf.us> | 2018-11-05 19:39:18 -0500 |
| commit | d8244781971d2523a3a0343837efd180ab01228a (patch) | |
| tree | cdd032bfd92ace364b60e250b943554c014c04be | |
| parent | 3d98d3753e58922fcd7620b0b7562ec58223e80e (diff) | |
pdfdump script
| -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 |