--- file_not_specified_in_diff	
+++ file_not_specified_in_diff	
@@ -, +, @@ 
--- Makefile.in.orig
+++ Makefile.in
@@ -176,7 +176,7 @@ 
 	install -m 644 $$d $(MANDIR)/man3; \
 done
 
-install_doc: install_html install_man
+install_doc: install_man
 
 install: install_bin install_include install_lib install_doc