diff --git a/src/Makefile.in b/src/Makefile.in
index acf5809149a77e78bb12f25ccdfaad46b66c5a2f..5d82be553116e8107ab807a07ab0f991b5f64884 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile.in,v 1.131 1999/03/12 01:12:02 hubbe Exp $
+# $Id: Makefile.in,v 1.132 1999/03/19 11:37:58 hubbe Exp $
 #
 
 # This line is needed on some machines.
@@ -510,9 +510,6 @@ depend: $(SRCDIR)/language.c
 docs:
 	mkdir docs
 
-html_docs: docs
-	$(RUNPIKE) $(TMP_BINDIR)/htmlify_docs docs $(TMP_DOCDIR) `echo $(SRCDIR)/modules/*/doc`
-
 wmml: force
 	@test -d wmml/. || mkdir wmml
 	@modules="`cd $(SRCDIR)/modules; ls -d */. | sed -e '/^_.*/d' -e 's/\/\.$$//'`"; \