From 0b802df847d086d394b29ed863fa53e347d64611 Mon Sep 17 00:00:00 2001
From: "Jordan K. Hubbard" <jkh@FreeBSD.org>
Date: Mon, 11 Mar 1996 14:59:10 +0000
Subject: [PATCH] Add a hint that a make world is done so people don't think
 that the last command (makewhatis) is running forver. :)

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4418ca013cb2..c2b15818fc57 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-#	$Id: Makefile,v 1.75 1996/02/11 08:58:01 markm Exp $
+#	$Id: Makefile,v 1.76 1996/02/17 14:23:25 peter Exp $
 #
 # Make command line options:
 #	-DCLOBBER will remove /usr/include and MOST of /usr/lib
@@ -107,6 +107,7 @@ world:	hierarchy mk $(WORLD_CLEANDIST) include-tools includes lib-tools librarie
 	@echo
 	${MAKE} depend all install
 	cd ${.CURDIR}/share/man &&		${MAKE} makedb
+	@echo "make world completed on `date`"
 
 reinstall:	hierarchy mk includes
 	@echo "--------------------------------------------------------------"