From 232fcad29a0349c6f5f7106f2d80e78f3c12aa92 Mon Sep 17 00:00:00 2001 From: "Jordan K. Hubbard" Date: Thu, 9 Feb 1995 11:09:41 +0000 Subject: [PATCH] Eliminate a duplicate line. Submitted by: Heikki Suonsivu --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 9fe6d00c698f..1659b8f20210 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.38 1995/01/24 22:15:25 ache Exp $ +# $Id: Makefile,v 1.39 1995/01/24 22:30:37 ache Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include and MOST of /usr/lib @@ -102,7 +102,6 @@ world: hierarchy mk cleandist includes lib-tools libraries tools ${MAKE} depend all install cd ${.CURDIR}/share/man && ${MAKE} makedb - hierarchy: @echo "--------------------------------------------------------------" @echo " Making hierarchy"