diff options
| author | seb <seb@pkgsrc.org> | 2003-06-25 21:01:35 +0000 |
|---|---|---|
| committer | seb <seb@pkgsrc.org> | 2003-06-25 21:01:35 +0000 |
| commit | 93684c46af01a01470ea57f308c9fb46c32455fb (patch) | |
| tree | b953d79d065d9288411890d534e5e156683ef424 /devel/pvs/PLIST | |
| parent | 082b66be008577c1ff2c7e63102cb4a332b062dd (diff) | |
| download | pkgsrc-93684c46af01a01470ea57f308c9fb46c32455fb.tar.gz | |
Convert to USE_NEW_TEXINFO.
Set the INFO_DIR to pvs/doc/release-notes where the info file
pvs-release-notes.info gets installed.
Patch the info file so install-info finds a section and an entry in it
for the directory file.
Diffstat (limited to 'devel/pvs/PLIST')
| -rw-r--r-- | devel/pvs/PLIST | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/devel/pvs/PLIST b/devel/pvs/PLIST index e2ddd1ac0dc..c5989e7ec8c 100644 --- a/devel/pvs/PLIST +++ b/devel/pvs/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.3 2003/03/31 20:49:36 jschauma Exp $ +@comment $NetBSD: PLIST,v 1.4 2003/06/25 21:01:35 seb Exp $ bin/pvs pvs/Examples/README pvs/Examples/ackerman.pvs @@ -24,9 +24,7 @@ pvs/bin/relocate pvs/bin/tarmail pvs/bin/untarmail pvs/doc/release-notes/pvs-release-notes.html -@unexec ${INSTALL_INFO} --delete --info-dir=%D/info %D/pvs/doc/release-notes/pvs-release-notes.info pvs/doc/release-notes/pvs-release-notes.info -@exec ${INSTALL_INFO} --info-dir=%D/info %D/pvs/doc/release-notes/pvs-release-notes.info pvs/doc/release-notes/pvs-release-notes.pdf pvs/doc/release-notes/pvs-release-notes.ps pvs/emacs/README |