whizzy.sh 304 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10
# Include TEXINPUTS setting from Makefile.local.

# Do not include all of Makefile.local, because both whizzytex and Makefile
# rely on NAME (for different purposes).

if [ -f Makefile.local ]
  then
    echo "Extracting TEXINPUTS setting from Makefile.local..."
    `grep TEXINPUTS Makefile.local`
  fi