Add a hint that a make world is done so people don't think that the last

command (makewhatis) is running forver. :)
This commit is contained in:
Jordan K. Hubbard 1996-03-11 14:59:10 +00:00
parent cd55bf5130
commit 0b802df847

View File

@ -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 "--------------------------------------------------------------"