From bab95bf5473b011207cd3bb0cdf2e0afbdb64d27 Mon Sep 17 00:00:00 2001
From: sperber <sperber>
Date: Sat, 9 Feb 2002 15:37:11 +0000
Subject: [PATCH] Remove doc/html from installed docs, as it's now obsolete.

---
 Makefile.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 46a6c88..f254666 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -369,7 +369,6 @@ inst-doc:
 		$(srcdir)/doc/scsh-manual/html/*.gif 				\
 		$(srcdir)/doc/scsh-manual/html/*.css				\
 		$(srcdir)/doc/src/manual/*.html					\
-		$(srcdir)/doc/html/*.html;					\
 		do $(INSTALL_DATA) $$f $(htmldir)/;		\
 	done