From 04b03d76647490d24b9d6df89c442d5556bacb30 Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 14 Aug 2006 10:01:52 +0000 Subject: [PATCH] - Added manual. --- dist/makedist.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/dist/makedist.sh b/dist/makedist.sh index 1cf44ad..daae228 100755 --- a/dist/makedist.sh +++ b/dist/makedist.sh @@ -30,6 +30,9 @@ WORKNAME=scyther # Repository PROTROOT=https://svn.win.tue.nl/repos/ecss/trunk/protocols/spdl SVNROOT=https://svn.win.tue.nl/repos/scyther/trunk +DOCROOT=https://svn.win.tue.nl/repos/ecss/trunk/papers/scythermanual + +MANUAL=scyther-manual.pdf #------------------------------------------------------------------------------ # @@ -39,6 +42,7 @@ WORKDIR=$TMPDIR/$WORKNAME CURDIR=$PWD DEST=$PWD/$ARCHIVE ZIPDEST=$PWD/$ZIPPED +DOCDEST=$WORKDIR/doc #------------------------------------------------------------------------------ # @@ -59,6 +63,8 @@ mkdir $TMPDIR svn export $SVNROOT/gui $WORKDIR svn export $PROTROOT/SPORE $WORKDIR/SPORE +svn cat $DOCROOT/$MANUAL >$WORKDIR/$MANUAL + #------------------------------------------------------------------------------ # # Collected all needed data, finish up