diff options
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 |