Makefile.in: Add dvi info html and install-html to .PHONY Add install-html target.