From b526ea331c411b1aab50c065205e7bf1eff4d7c2 Mon Sep 17 00:00:00 2001 From: jkh Date: Thu, 9 Feb 1995 11:09:41 +0000 Subject: Eliminate a duplicate line. Submitted by: Heikki Suonsivu --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 9fe6d00..1659b8f 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" -- cgit v1.1