#!/usr/bin/env zsh # Diffs two PDF files using pdftotext and wdiff. emulate -LR zsh if [[ $# -lt 2 ]] then echo "Usage: pdfwdiff [diff_options] file1.pdf file2.pdf" >&2 return 1 fi diff -u "$@[1,-3]" <(pdftotext "$@[-2]" -) <(pdftotext "$@[-1]" -) | \ wdiff -n -w $'\033[30;41m' -x $'\033[0m' -y $'\033[30;42m' -z $'\033[0m' -d # $Id: pdfwdiff 56518 2012-11-22 09:39:03Z vinc17/xvii $