@@ -115,8 +115,8 @@ $(EXECS): $(BUILDDIR)
117.PHONY: build-doc
117.PHONY: build-doc
118−cleanup_files+=README.html INSTALL.html
118+cleanup_files+=README.html
119−build-doc: $(DOCS) INSTALL.html
119+build-doc: $(DOCS)
121.PHONY: build-program
121.PHONY: build-program
122build-program: build-exec build-doc
122build-program: build-exec build-doc