From 0351215ee61bf6d9b09e46b23ee6c16b40dad19d Mon Sep 17 00:00:00 2001 From: "Jordan K. Hubbard" Date: Wed, 11 Jan 1995 11:52:50 +0000 Subject: [PATCH] Ack! Mk must go before cleandist in the world rule now. Otherwise cleandist will fall over at gnu/lib/libreadline/doc when bsd.info.mk is not found. --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index b5537df59cb1..5ea6176772d2 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.31 1994/12/04 02:46:28 ache Exp $ +# $Id: Makefile,v 1.32 1995/01/03 22:03:25 nate Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include and MOST of /usr/lib @@ -103,7 +103,7 @@ CLEANDIR= clean CLEANDIR= cleandir .endif -world: hierarchy cleandist mk includes lib-tools libraries tools +world: hierarchy mk cleandist includes lib-tools libraries tools @echo "--------------------------------------------------------------" @echo " Rebuilding ${DESTDIR} The whole thing" @echo "--------------------------------------------------------------"