#!/bin/bash

XPDF=/usr/bin/xpdf
MAKE=/usr/bin/make
KILL=/bin/kill

if [ ! -e $(make dump_pdf) ] ; then
  # generate pdf
  $MAKE pdf 1>/dev/null 2>&1
fi

# kill all xpdf remote instances
pid=$(ps -ef | grep "xpdf -remote 127.0.0.1" | egrep -v grep | awk '{print $2}')
if [ ! -z $pid ] ; then
  $KILL -9 $pid
fi

# start a new instance 
$XPDF -remote 127.0.0.1 $(make dump_pdf) 1>/dev/null 2>&1 &

# and finally pull ...
while inotifywait -e close_write $(make dump_dep) 1>/dev/null 2>&1 ; do

  $MAKE pdf 1>/dev/null 2>&1
  $XPDF -remote 127.0.0.1 -reload 1>/dev/null 2>&1

done