HTMLBASE:  New variable.  Make it easier to check an "installed" copy
	   of the HTML documents using the webcheck target.

When there's not a usable .aux file, use mkdvi.sh --aux instead of
building the .dvi completely.  This makes the most difference for the
library reference.
1 file changed