--- Makefile.in.orig	Thu Sep 26 17:12:00 1996
+++ Makefile.in	Sat Oct 30 22:46:53 1999
@@ -73,7 +73,7 @@
 	@echo "SH_LDFLAGS	= @SH_LDFLAGS@"			>> config.make
 	@echo "SH_LOADER	= @SH_LOADER@"			>> config.make
 	@echo "SH_SUFFIX	= @SH_SUFFIX@"			>> config.make
-	@echo "LIB_MALLOC	= @LIB_MALLOC@"			>> config.make
+	@echo "LIB_MALLOC	= "				>> config.make
 	@echo "LIB_DLD		= @LIB_DLD@"			>> config.make
 	@echo "STK_LIBRARY	= $(libdir)"			>> config.make
 
@@ -105,7 +105,7 @@
 demos:
 	/bin/sh -c "(cd Demos; ../Src/test-stk -f hbrowse README.html)"
 
-install: clean-before
+install:
 	(cd Tcl;     	$(MAKE) install)
 	(cd Tk;      	$(MAKE) install)
 	(cd Mp;		$(MAKE) install)
@@ -116,6 +116,7 @@
 	(cd Extensions; $(MAKE) install)
 	(cd Demos;   	$(MAKE) install)
 	(cd Help;	$(MAKE) install)
+	(cd Doc;	$(MAKE) install.man)
 	@echo ""
 	@echo "Installation completed."