diff --git a/dist/build-arch-tag b/dist/build-arch-tag index e37f337..ff5b02e 100755 --- a/dist/build-arch-tag +++ b/dist/build-arch-tag @@ -73,10 +73,6 @@ BUILDDIR=$TMPDIR/$ARCHNAME # Archive destination file without extension DESTFILE=$DESTDIR/$ARCHNAME -# Internal locations -DOCDIR=$SRCDIR/doc/manual -MANUAL=scyther-manual.pdf - rm -rf $SRCDIR rm -rf $BUILDDIR @@ -93,9 +89,6 @@ echo "SCYTHER_GUI_VERSION = \"$TAG\"" >$BUILDDIR/Gui/Version.py echo "#define TAGVERSION \"$TAG\"" >$SRCDIR/src/version.h echo "" >>$SRCDIR/src/version.h -# Manual -cp $DOCDIR/$MANUAL $BUILDDIR - # Change into sources directory cd $SRCDIR/src