diff options
| author | Wolfram Schneider <wosch@FreeBSD.org> | 1998-05-09 22:15:19 +0000 |
|---|---|---|
| committer | Wolfram Schneider <wosch@FreeBSD.org> | 1998-05-09 22:15:19 +0000 |
| commit | 5b44ce4f9158141b892d7cac4381e698d4c21244 (patch) | |
| tree | 772adac16eddb4674d80c3658c612d8ee187a48c /share/info | |
| parent | cffe96c90321347e16b239d446fb4d0a2efeef24 (diff) | |
Notes
Diffstat (limited to 'share/info')
| -rw-r--r-- | share/info/Makefile | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/share/info/Makefile b/share/info/Makefile index b8d9e73ab8b0f..d01b42a7ed484 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) |