diff options
Diffstat (limited to 'wpdf')
-rwxr-xr-x | wpdf | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -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 |