Add 'wpdf' utility

1 files changed, 16 insertions, 0 deletions

diff --git a/wpdf b/wpdf
new file mode 100755
index 0000000..3e0e1aa
--- /dev/null
+++ b/wpdf
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+# wpdf -- view, watch and remake pdf
+
+IFS='
+'
+
+[ -z "$*" ] && { echo usage: $0 source-file ... 1>&2; exit 1; }
+
+for source in "$@"; do
+	xpdf -remote wpdf-$source ${source%.*}.pdf &
+done
+sleep 1
+watch -i "$@" | while read source; do
+	make ${source%.*}.pdf && xpdf -remote wpdf-$source -reload
+done