Add missing files to $(LIBFILES).
Add missing files to $(LIBFILES).

Run node2label.pl on the HTML versions of all the LaTeX manuals.

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