aboutsummaryrefslogtreecommitdiff
path: root/devel/spin
diff options
context:
space:
mode:
authorErwin Lansing <erwin@FreeBSD.org>2003-08-28 07:43:33 +0000
committerErwin Lansing <erwin@FreeBSD.org>2003-08-28 07:43:33 +0000
commit7352d398f249a4233f22bb94883ed3ff924682c9 (patch)
tree21b696fb044938f2e8964370a19cf059ec3bd168 /devel/spin
parenta06b8cd0c7d9ce0547bfaa7da6855132bdd25f7f (diff)
downloadports-7352d398f249a4233f22bb94883ed3ff924682c9.tar.gz
ports-7352d398f249a4233f22bb94883ed3ff924682c9.zip
The HTML documentation tarball has been removed
PR: 56071 Submitted by: maintainer
Notes
Notes: svn path=/head/; revision=87856
Diffstat (limited to 'devel/spin')
-rw-r--r--devel/spin/Makefile5
-rw-r--r--devel/spin/distinfo1
-rw-r--r--devel/spin/pkg-plist85
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%%