diff options
author | Matthew Sotoudeh <masotoudeh@ucdavis.edu> | 2020-09-13 16:13:59 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-13 16:13:59 -0700 |
commit | 696252c38a939599cc2f0ea8a05b135120e725d3 (patch) | |
tree | 8fcc686e71043195044eab3901d16c34d5b7681e /get_pdf.sh | |
parent | 20bf723dffea5aba9eee5101a1bcd9b8c9b2b90b (diff) |
Fixes to the arXiv-cleaning rules (#4)
Resolves Issue #3, now the arxiv-latex-cleaner rules should work correctly.
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 |