diff --git a/src/Makefile.in b/src/Makefile.in
index 6080c037d03c7f16cccbcbeeea7e298674b434e8..1fd5fa53445c2446169bfea841d61d43902f7ce7 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile.in,v 1.127 1999/02/04 22:19:54 mast Exp $
+# $Id: Makefile.in,v 1.128 1999/02/05 05:08:18 mast Exp $
 #
 
 # This line is needed on some machines.
@@ -205,14 +205,14 @@ force :
 
 
 # install
-install: module_objects pike hilfe pike-module aclocal
+install: pike hilfe pike-module aclocal
 	@exec_prefix="$(exec_prefix)" lib_prefix="$(lib_prefix)" \
 	TMP_LIBDIR="$(TMP_LIBDIR)" LIBDIR_SRC="$(LIBDIR_SRC)" \
 	SRCDIR="$(SRCDIR)" prefix="$(prefix)" MANDIR_SRC="$(MANDIR_SRC)" \
 	man_prefix="$(man_prefix)" \
 	$(RUNPIKE) $(TMP_BINDIR)/install.pike
 
-old-install: module_objects pike hilfe pike-module aclocal
+old-install: pike hilfe pike-module aclocal
 	@echo
 	@echo Installing Pike...
 	@echo
@@ -583,6 +583,7 @@ modules/dynamic_module_makefile: $(SRCDIR)/@dmmsrc@ config.status
 
 Makefile: $(SRCDIR)/Makefile.in $(SRCDIR)/dependencies config.status
 	CONFIG_FILES=Makefile CONFIG_HEADERS="" ./config.status
+	touch remake
 	@echo "Run make again"
 	@exit 1