diff options
author | erwin <erwin@FreeBSD.org> | 2003-08-28 15:43:33 +0800 |
---|---|---|
committer | erwin <erwin@FreeBSD.org> | 2003-08-28 15:43:33 +0800 |
commit | e3a14d0c97a39617ae6877bfc209648d1ad16684 (patch) | |
tree | 5d1c7264dc81e79342c50225c8a987ac43c5134f /devel | |
parent | 8ae04bfb0d75bd0dab4a48aeaa1bf2349ae192d6 (diff) | |
download | freebsd-ports-gnome-e3a14d0c97a39617ae6877bfc209648d1ad16684.tar.gz freebsd-ports-gnome-e3a14d0c97a39617ae6877bfc209648d1ad16684.tar.zst freebsd-ports-gnome-e3a14d0c97a39617ae6877bfc209648d1ad16684.zip |
The HTML documentation tarball has been removed
PR: 56071
Submitted by: maintainer
Diffstat (limited to 'devel')
-rw-r--r-- | devel/spin/Makefile | 5 | ||||
-rw-r--r-- | devel/spin/distinfo | 1 | ||||
-rw-r--r-- | devel/spin/pkg-plist | 85 |
3 files changed, 2 insertions, 89 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile index e4c032a88da0..19ceca608f53 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -7,9 +7,10 @@ PORTNAME= spin PORTVERSION= 4.0.7 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= http://spinroot.com/spin/Src/ -DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz +DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz MAINTAINER= jhanna@shaw.ca COMMENT= An on-the-fly verification system for asynchronous concurrent systems @@ -51,11 +52,9 @@ do-install: .if !defined(NOPORTDOCS) ${MKDIR} ${DOCSDIR}/Doc ${MKDIR} ${DOCSDIR}/Examples - ${MKDIR} ${DOCSDIR}/HTML ${MKDIR} ${DOCSDIR}/Test ${INSTALL_DATA} ${WRKDIR}/Doc/* ${DOCSDIR}/Doc ${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${DOCSDIR}/Examples - ${INSTALL_DATA} ${WRKDIR}/HTML/* ${DOCSDIR}/HTML .for i in README.tests abp eratosthenes hello leader leader.ltl leader2 \ loops mobile1 mobile1.ltl mobile2 mobile2.ltl pathfinder peterson petersonN pftp priorities snoopy sort wordcount ${INSTALL_DATA} ${WRKDIR}/Test/$i ${DOCSDIR}/Test diff --git a/devel/spin/distinfo b/devel/spin/distinfo index 4c53c30f5414..c9bfe4a0cfe4 100644 --- a/devel/spin/distinfo +++ b/devel/spin/distinfo @@ -1,2 +1 @@ MD5 (spin/spin407.tar.gz) = dfb9886dae7985bf08a1a345564581ed -MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20 diff --git a/devel/spin/pkg-plist b/devel/spin/pkg-plist index f6d8cd16c9bd..ad724d08d9fa 100644 --- a/devel/spin/pkg-plist +++ b/devel/spin/pkg-plist @@ -24,90 +24,6 @@ bin/spin %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.9b %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.9c %%PORTDOCS%%%%DOCSDIR%%/Examples/ex.readme -%%PORTDOCS%%%%DOCSDIR%%/HTML/Exercises.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/GettingStarted.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/Intro.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/Manual.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/Pan.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/Quick.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/README.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/Roadmap.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/Spin.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/WhatsNew.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/_.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/_last.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/_pid.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/accept.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/active.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/arrays.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/assert.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/assign.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/atomic.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/break.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/chan.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/comments.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/cond_expr.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/condition.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/d_step.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/datatypes.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/do.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/else.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/empty.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/enabled.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/end.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/eval.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/false.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/float.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/full.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/goto.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/grammar.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/hidden.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/hierarchy.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/if.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/index.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/init.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/inline.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/labels.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/len.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/local.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/ltl.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/macros.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/mtype.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/nempty.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/never.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/nfull.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/notrace.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/np_.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/pc_value.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/pointers.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/poll.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/printf.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/priority.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/probabilities.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/procedures.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/proctype.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/progress.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/promela.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/provided.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/rand.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/realtime.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/receive.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/remoterefs.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/run.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/scanf.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/send.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/separators.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/sequence.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/show.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/skip.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/stdin.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/timeout.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/trace.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/true.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/typedef.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/unless.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/xr.html -%%PORTDOCS%%%%DOCSDIR%%/HTML/xs.html %%PORTDOCS%%%%DOCSDIR%%/Test/README.tests %%PORTDOCS%%%%DOCSDIR%%/Test/abp %%PORTDOCS%%%%DOCSDIR%%/Test/eratosthenes @@ -129,7 +45,6 @@ bin/spin %%PORTDOCS%%%%DOCSDIR%%/Test/sort %%PORTDOCS%%%%DOCSDIR%%/Test/wordcount @dirrm %%PORTDOCS%%%%DOCSDIR%%/Test -@dirrm %%PORTDOCS%%%%DOCSDIR%%/HTML @dirrm %%PORTDOCS%%%%DOCSDIR%%/Examples @dirrm %%PORTDOCS%%%%DOCSDIR%%/Doc @dirrm %%PORTDOCS%%%%DOCSDIR%% |