From 002e72bb172c34bb71756f9e6c23294913f1ef85 Mon Sep 17 00:00:00 2001
From: Jules Laplace <julescarbon@gmail.com>
Date: Tue, 6 Nov 2018 01:42:13 +0100
Subject: maybe rm empty txts

---
 pdf_dump_first_page.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'pdf_dump_first_page.sh')

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