Add doc, html, dvi and .PHONY Makefile targets.