From 5b44ce4f9158141b892d7cac4381e698d4c21244 Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Sat, 9 May 1998 22:15:19 +0000 Subject: [PATCH] Print a human-readable warning and die if $INFODIR do not exist. PR: bin/6138 Reviewed by: bde --- share/info/Makefile | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/share/info/Makefile b/share/info/Makefile index b8d9e73ab8b0..d01b42a7ed48 100644 --- a/share/info/Makefile +++ b/share/info/Makefile @@ -1,11 +1,21 @@ # @(#)Makefile 8.1 (Berkeley) 6/5/93 -# $Id$ +# $Id: Makefile,v 1.5 1998/01/03 14:06:26 wosch Exp $ NOOBJ= noobj all clean cleandir depend lint tags: beforeinstall: +.if !exists(${DESTDIR}${INFODIR}) + @echo "Warning: the directory ${DESTDIR}${INFODIR} does not exist!" + @echo "Perhaps the variable INFODIR is set incorrectly" + @echo "or your mtree database files are broken." + @echo "" + @echo "As a workaround you can create the directory by hand, e.g.:" + @echo -n "install -d -o ${INFOOWN} -g ${INFOGRP} " + @echo "-m 0755 ${DESTDIR}${INFODIR}" + @exit 3; +.endif ${INSTALL} -c -o ${INFOOWN} -g ${INFOGRP} -m ${INFOMODE} dir-tmpl \ ${DESTDIR}${INFODIR}/dir-tmpl .if !exists(${DESTDIR}${INFODIR}/dir)