math/coq build failure, /bin/sh: hevea: not found

[Stuart Henderson]

http://junkpile.org/coq.log

I'm not sure why this has broken now, the port hasn't changed for a while.
Might be picking up something (texlive? hevea?) in configure..