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