From 6f0a72750e8b3ef211746b21a6c2ec84e1c7b990 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 12 Dec 2013 09:02:04 +0000
Subject: [PATCH] Removing obsolete manual copy commands from release scripts,
 since we copy the manual in now periodically by hand.

---
 dist/build-arch-tag | 7 -------
 1 file changed, 7 deletions(-)

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