diff options
author | Satoshi Taoka <taoka@FreeBSD.org> | 1999-04-30 07:51:07 +0000 |
---|---|---|
committer | Satoshi Taoka <taoka@FreeBSD.org> | 1999-04-30 07:51:07 +0000 |
commit | 72744ad44e2d6433c557d70697586e30cd780741 (patch) | |
tree | 3e95c0c905d30941f94801d87a77d6081f2cb98d /misc/vera/pkg-plist | |
parent | I forgot to portlint. (diff) |
Virtual Entity of Relevant Acronyms.
PR: 10514
Submitted by: Dima Sivachenko <dima@chg.ru>
Notes
Notes:
svn path=/head/; revision=18208
Diffstat (limited to 'misc/vera/pkg-plist')
-rw-r--r-- | misc/vera/pkg-plist | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/misc/vera/pkg-plist b/misc/vera/pkg-plist new file mode 100644 index 000000000000..274bcd9661cb --- /dev/null +++ b/misc/vera/pkg-plist @@ -0,0 +1,15 @@ +@unexec install-info --delete %D/info/vera.info %D/info/dir +info/vera.info +info/vera.info-1 +info/vera.info-2 +info/vera.info-3 +info/vera.info-4 +info/vera.info-5 +info/vera.info-6 +info/vera.info-7 +info/vera.info-8 +info/vera.info-9 +info/vera.info-10 +info/vera.info-11 +@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir +@exec install-info %D/info/vera.info %D/info/dir |