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_file.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_file.sh')
-rwxr-xr-x | get_file.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/get_file.sh b/get_file.sh new file mode 100755 index 0000000..6841e5f --- /dev/null +++ b/get_file.sh @@ -0,0 +1,5 @@ +#!/bin/sh + +builddir=$BUILD_WORKING_DIRECTORY +cp $1 $builddir/$1 +chmod -x+w $builddir/$1 |