Makefile: kludge for latex2html's $TEXINPUTS