diff options
author | obrien <obrien@FreeBSD.org> | 1997-08-29 09:29:12 +0000 |
---|---|---|
committer | obrien <obrien@FreeBSD.org> | 1997-08-29 09:29:12 +0000 |
commit | ddd11526e81db3e26668e56d727ff7434e52a816 (patch) | |
tree | 37e9b30bfa0f0c7653715a1566d16a4759ebde08 /devel | |
parent | e5a16aab658ea1335f42f90d91bd284e894290d1 (diff) | |
download | FreeBSD-ports-ddd11526e81db3e26668e56d727ff7434e52a816.zip FreeBSD-ports-ddd11526e81db3e26668e56d727ff7434e52a816.tar.gz |
Deal with the info files on package install/removal.
(someone that knows this stuff should check this over...)
Diffstat (limited to 'devel')
-rw-r--r-- | devel/gindent/pkg-plist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel/gindent/pkg-plist b/devel/gindent/pkg-plist index 6bdb5c8..f2935ff 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 |