diff options
| author | David E. O'Brien <obrien@FreeBSD.org> | 1997-08-29 09:29:12 +0000 |
|---|---|---|
| committer | David E. O'Brien <obrien@FreeBSD.org> | 1997-08-29 09:29:12 +0000 |
| commit | 0d4efc19a8d5f2b2164bbc977680ccac51329c17 (patch) | |
| tree | 09f61906512cefcda0a9689b3918b7a27cb640f2 /devel/gindent | |
| parent | c682e3dbf2efc215d8b6da6c77232eb1b1f04b3f (diff) | |
| download | ports-0d4efc19a8d5f2b2164bbc977680ccac51329c17.tar.gz ports-0d4efc19a8d5f2b2164bbc977680ccac51329c17.zip | |
Notes
Diffstat (limited to 'devel/gindent')
| -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 |