--- Makefile.in.orig	Tue Jan 13 19:26:50 2004
+++ Makefile.in	Thu Feb  5 17:03:20 2004
@@ -425,8 +425,8 @@
 	@:
 
 # install
-install: pike tools autodoc.xml
-	@$(RUNPIKE) $(TMP_BINDIR)/install.pike \
+install: pike tools
+	@$(RUNPIKE) $(TMP_BINDIR)/install.pike --no-autodoc \
 	exec_prefix="$(exec_prefix)" lib_prefix="$(lib_prefix)" \
 	TMP_LIBDIR="$(TMP_LIBDIR)" LIBDIR_SRC="$(LIBDIR_SRC)" \
 	SRCDIR="$(SRCDIR)" prefix="$(prefix)" DOCDIR_SRC="$(DOCDIR_SRC)" \
@@ -435,8 +435,8 @@
 	fakeroot="$(buildroot)" PIKE_MODULE_RELOC="$(PIKE_MODULE_RELOC)" \
 	$(INSTALLARGS)
 
-install_interactive: pike tools autodoc.xml
-	@$(RUNPIKE) $(TMP_BINDIR)/install.pike --interactive \
+install_interactive: pike tools
+	@$(RUNPIKE) $(TMP_BINDIR)/install.pike --interactive --no-autodoc \
 	exec_prefix="$(exec_prefix)"  prefix=$(prefix) \
 	TMP_LIBDIR="$(TMP_LIBDIR)" LIBDIR_SRC="$(LIBDIR_SRC)" \
 	SRCDIR="$(SRCDIR)" DOCDIR_SRC="$(DOCDIR_SRC)" \