Add missing files to $(LIBFILES).

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