Add .PHONY rules for spec.html