From 0d4efc19a8d5f2b2164bbc977680ccac51329c17 Mon Sep 17 00:00:00 2001 From: "David E. O'Brien" Date: Fri, 29 Aug 1997 09:29:12 +0000 Subject: Deal with the info files on package install/removal. (someone that knows this stuff should check this over...) --- devel/gindent/pkg-plist | 3 +++ 1 file changed, 3 insertions(+) (limited to 'devel') diff --git a/devel/gindent/pkg-plist b/devel/gindent/pkg-plist index 6bdb5c84c9b3..f2935ff7a83c 100644 --- a/devel/gindent/pkg-plist +++ b/devel/gindent/pkg-plist @@ -1,3 +1,6 @@ bin/indent man/man1/indent.1.gz info/indent.info +@unexec install-info --delete %D/info/indent.info %D/info/dir +@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir +@exec install-info %D/info/indent.info %D/info/dir -- cgit v1.2.3