summaryrefslogtreecommitdiff
path: root/lang/jgnat-doc-html/pkg-plist_info
diff options
context:
space:
mode:
authorMario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>2001-12-05 05:47:43 +0000
committerMario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>2001-12-05 05:47:43 +0000
commit362ea6101c88ba25b672e407124ac9243c344711 (patch)
tree032115cfd97b8ae037139628324ce1648109d64f /lang/jgnat-doc-html/pkg-plist_info
parentNew port jgnat-doc-html version 1.1p: Documentation for the JGNAT (diff)
o New port jgnat-doc-html version 1.1p: Documentation for the JGNAT
compiler o Master port for all jgnat-doc-* ports PR: 30365 Submitted by: John Merryweather Cooper <jmcoopr@webmail.bmi.net>
Diffstat (limited to 'lang/jgnat-doc-html/pkg-plist_info')
-rw-r--r--lang/jgnat-doc-html/pkg-plist_info6
1 files changed, 6 insertions, 0 deletions
diff --git a/lang/jgnat-doc-html/pkg-plist_info b/lang/jgnat-doc-html/pkg-plist_info
new file mode 100644
index 000000000000..bbefe02be740
--- /dev/null
+++ b/lang/jgnat-doc-html/pkg-plist_info
@@ -0,0 +1,6 @@
+info/jgnat_ug.info
+info/jgnat_ug.info-1
+info/jgnat_ug.info-2
+info/jgnat_ug.info-3
+@unexec install-info --delete %D/info/jgnat_ug.info %D/info/dir
+@exec install-info --section="%%SEC_LABEL%%" --entry="%%UG_LABEL%%" %D/info/jgnat_ug.info %D/info/dir