From aca17d11b107614915057f15e8cf0e828d4e3381 Mon Sep 17 00:00:00 2001
From: Guillaume Horel <guillaume.horel@gmail.com>
Date: Sun, 4 Aug 2013 11:28:01 -0400
Subject: script to extract djvutext from a document

---
 extract_pages.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 extract_pages.sh

diff --git a/extract_pages.sh b/extract_pages.sh
new file mode 100755
index 0000000..c49a0c4
--- /dev/null
+++ b/extract_pages.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+npages=$(djvused -e 'n' $1)
+
+for i in $(seq 1 $npages); do
+  djvused -e "select $i;output-txt" $1 >page${i}.djvutxt
+done
-- 
cgit v1.2.3-70-g09d2