along with the others.

html-$(VERSION).tar.gz:  Change the wildcard for picking up GIFs a little
	to avoid changes in what LaTeX2HTML generates.