mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-04 06:15:24 +00:00
21 lines
681 B
Plaintext
21 lines
681 B
Plaintext
|
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
|