diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2003-12-13 01:22:09 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2003-12-13 01:22:09 +0000 |
| commit | 2ea5de4d680ab90136ef22e19ab46398b8e58c7e (patch) | |
| tree | 79879843bdcdb7af48ade64f1cbbe46bead02b5d /devel/smv/pkg-plist | |
| parent | 70cd7e885b72c5f80f38ac2102bbde4c755f8fa0 (diff) | |
Notes
Diffstat (limited to 'devel/smv/pkg-plist')
| -rw-r--r-- | devel/smv/pkg-plist | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/devel/smv/pkg-plist b/devel/smv/pkg-plist new file mode 100644 index 000000000000..61e25ba3026b --- /dev/null +++ b/devel/smv/pkg-plist @@ -0,0 +1,20 @@ +bin/smv +share/smv/smv-mode.el +%%PORTDOCS%%%%DOCSDIR%%/NEW +%%PORTDOCS%%%%DOCSDIR%%/README +%%PORTDOCS%%%%DOCSDIR%%/smvmanual.ps +%%PORTDOCS%%%%EXAMPLESDIR%%/counter.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/dme1.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/dme2.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/featuring.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/gigamax.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/mutex.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/mutex1.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/periodic.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/ring.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/semaphore.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/short.smv +%%PORTDOCS%%%%EXAMPLESDIR%%/syncarb5.smv +%%PORTDOCS%%@dirrm %%DOCSDIR%% +%%PORTDOCS%%@dirrm %%EXAMPLESDIR%% +@dirrm share/smv |