Add files via upload

rohitsaluja22 · Aug 30, 2017 · 8bc32d7 · 8bc32d7
1 parent fd0ba60
commit 8bc32d7
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/data/Book4English/Inds/createIEROCR.sh b/data/Book4English/Inds/createIEROCR.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+# int-or-string.sh
+a=1
+#mkdir txtfiles
+for i in *.txt ; do
+  (cat "page-$a.txt"; echo) >> ../IEROCR;
+  let a=a+1
+done
+