Quickref.pdf is not distributed anymore

This commit is contained in:
David Capello 2014-05-05 09:18:26 -03:00
parent cd4e3aa122
commit 5c54564a9d

View File

@ -16,14 +16,6 @@ if [ ! -d $destdir ] ; then
git clone --depth=1 $srcdir $destdir git clone --depth=1 $srcdir $destdir
fi fi
# ----------------------------
# Copy the quick reference PDF
# ----------------------------
if [ ! -f $destdir/docs ] ; then
cp $srcdir/docs/quickref.pdf $destdir/docs
fi
# -------------- # --------------
# Update version # Update version
# -------------- # --------------