From 3dfd5a629525224dcd56857055803d95daa3bd0d Mon Sep 17 00:00:00 2001
From: Andreas Klemm <andreas@FreeBSD.org>
Date: Sun, 17 Aug 1997 21:14:22 +0000
Subject: [PATCH] fix a make world problem. updated beforeinstall target. mp.h
 from gnu/lib/libgmp.h has to be installed to /usr/include so that
 usr.bin/chkey and usr.bin/newkey can be compiled.

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 93e463017ca3..2db8844dfb77 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-#	$Id: Makefile,v 1.133 1997/08/05 03:49:45 asami Exp $
+#	$Id: Makefile,v 1.134 1997/08/12 10:12:56 asami Exp $
 #
 # Make command line options:
 #	-DCLOBBER will remove /usr/include
@@ -448,6 +448,7 @@ includes:
 	cd ${.CURDIR}/gnu/lib/libstdc++ &&	${MAKE} beforeinstall
 	cd ${.CURDIR}/gnu/lib/libg++ &&		${MAKE} beforeinstall
 	cd ${.CURDIR}/gnu/lib/libdialog &&	${MAKE} beforeinstall
+	cd ${.CURDIR}/gnu/lib/libgmp &&		${MAKE} beforeinstall
 .if exists(eBones) && !defined(NOCRYPT) && defined(MAKE_EBONES)
 	cd ${.CURDIR}/eBones/include &&		${MAKE} beforeinstall
 	cd ${.CURDIR}/eBones/lib/libkrb &&	${MAKE} beforeinstall