From: Francois Fleuret Date: Sun, 11 Feb 2018 10:12:11 +0000 (+0100) Subject: Update. X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=d1b9247802bf8ae3cef68070b2e6e1422470f2b2;p=scripts.git Update. --- diff --git a/arxiv-rename-pdf.sh b/arxiv-rename-pdf.sh index 5ec49c0..7b062d6 100755 --- a/arxiv-rename-pdf.sh +++ b/arxiv-rename-pdf.sh @@ -53,7 +53,7 @@ do do [[ "${AUTHORS}" ]] && AUTHORS="${AUTHORS} and " AUTHORS="${AUTHORS}${line}" - done < <(grep -q '