diff --git a/scripts/create_release.sh b/scripts/create_release.sh
index e495151af..18cafa5e8 100644
--- a/scripts/create_release.sh
+++ b/scripts/create_release.sh
@@ -16,14 +16,6 @@ if [ ! -d $destdir ] ; then
     git clone --depth=1 $srcdir $destdir
 fi
 
-# ----------------------------
-# Copy the quick reference PDF
-# ----------------------------
-
-if [ ! -f $destdir/docs ] ; then
-    cp $srcdir/docs/quickref.pdf $destdir/docs
-fi
-
 # --------------
 # Update version
 # --------------