#!/bin/sh

# Setting PATH
PATH=$PATH:/bin:/usr/bin:/sbin:/usr/sbin:/usr/local/bin:/usr/local/sbin
export PATH

# save stdin to a file since pdf2txt.py doesn't work on streams
TEMP=`mktemp`
dd of=$TEMP 2> /dev/null
pdf2txt.py -t text "$TEMP"  # convert PDF to text
rm $TEMP