diff --git a/Makefile b/Makefile index 7b57c019c4b..776e9dbbccd 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.99 1996/08/30 22:35:30 peter Exp $ +# $Id: Makefile,v 1.100 1996/09/10 04:21:36 jfieber Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include @@ -122,6 +122,9 @@ MK_FLAGS= -DNOMAN -DNOPROFILE # >> Beware, it overwrites the local build environment! << # world: + @echo "--------------------------------------------------------------" + @echo "make world started on `date`" + @echo "--------------------------------------------------------------" .if target(pre-world) @echo "--------------------------------------------------------------" @echo " Making 'pre-world' target" @@ -509,5 +512,7 @@ build-tools: ${MAKE} ${MK_FLAGS} all install ${CLEANDIR} ${OBJDIR} cd ${.CURDIR}/usr.sbin/zic && ${MAKE} depend && \ ${MAKE} ${MK_FLAGS} all install ${CLEANDIR} ${OBJDIR} + cd ${.CURDIR}/gnu/usr.bin/groff && ${MAKE} depend && \ + ${MAKE} ${MK_FLAGS} all install ${CLEANDIR} ${OBJDIR} .include