1 files changed, 5 insertions, 0 deletions
diff --git a/get_pdf.sh b/get_pdf.sh
new file mode 100755
index 0000000..7a0909f
--- /dev/null
+++ b/get_pdf.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+filename="$(find . -name '*.pdf')"
+builddir=$BUILD_WORKING_DIRECTORY
+cp $filename $builddir/$filename
+chmod -x+w $builddir/$filename