diff options
Diffstat (limited to 'devel/ptl/pkg-plist')
| -rw-r--r-- | devel/ptl/pkg-plist | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/devel/ptl/pkg-plist b/devel/ptl/pkg-plist deleted file mode 100644 index fe52fbe..0000000 --- a/devel/ptl/pkg-plist +++ /dev/null @@ -1,24 +0,0 @@ -bin/ptlgcc -bin/ptlg++ -lib/libPTL.a -lib/libPTL.so -lib/libPTL.so.2 -%%PORTDOCS%%@unexec install-info --delete %D/info/PTL.info %D/info/dir -%%PORTDOCS%%info/PTL.info -%%PORTDOCS%%info/PTL.info-1 -%%PORTDOCS%%info/PTL.info-2 -%%PORTDOCS%%info/PTL.info-3 -%%PORTDOCS%%info/PTL.info-4 -%%PORTDOCS%%@exec install-info %D/info/PTL.info %D/info/dir -%%PORTDOCS%%share/doc/ptl/COPYING -%%PORTDOCS%%share/doc/ptl/ChangeLog -%%PORTDOCS%%share/doc/ptl/FAQ -%%PORTDOCS%%share/doc/ptl/NEWS -%%PORTDOCS%%share/doc/ptl/PROBLEMS -%%PORTDOCS%%share/doc/ptl/README -%%PORTDOCS%%share/doc/ptl/README.PDB -%%PORTDOCS%%share/doc/ptl/README.jp -%%PORTDOCS%%share/doc/ptl/WISHLIST -%%PORTDOCS%%share/doc/ptl/manual.ps.gz -%%PORTDOCS%%@dirrm share/doc/ptl -@comment PTL/* is environment dependent and thus added dynamically hereinafter: |
