From d8244781971d2523a3a0343837efd180ab01228a Mon Sep 17 00:00:00 2001
From: Jules <jules@asdf.us>
Date: Mon, 5 Nov 2018 19:39:18 -0500
Subject: pdfdump script

---
 pdf_dump_first_page.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3-70-g09d2