diff options
| author | obrien <obrien@FreeBSD.org> | 1997-08-29 17:29:12 +0800 |
|---|---|---|
| committer | obrien <obrien@FreeBSD.org> | 1997-08-29 17:29:12 +0800 |
| commit | ddd11526e81db3e26668e56d727ff7434e52a816 (patch) | |
| tree | 37e9b30bfa0f0c7653715a1566d16a4759ebde08 | |
| parent | e5a16aab658ea1335f42f90d91bd284e894290d1 (diff) | |
| download | freebsd-ports-gnome-ddd11526e81db3e26668e56d727ff7434e52a816.tar.gz freebsd-ports-gnome-ddd11526e81db3e26668e56d727ff7434e52a816.tar.zst freebsd-ports-gnome-ddd11526e81db3e26668e56d727ff7434e52a816.zip | |
Deal with the info files on package install/removal.
(someone that knows this stuff should check this over...)
| -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 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 |