HTMLBASE:  New variable.  Make it easier to check an "installed" copy 	   of the HTML documents using the webcheck target.
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.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator