1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-15 23:50:44 +00:00
freebsd-ports/devel/gindent/pkg-plist
David E. O'Brien 0d4efc19a8 Deal with the info files on package install/removal.
(someone that knows this stuff should check this over...)
1997-08-29 09:29:12 +00:00

7 lines
245 B
Plaintext

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