From d1b9247802bf8ae3cef68070b2e6e1422470f2b2 Mon Sep 17 00:00:00 2001 From: Francois Fleuret Date: Sun, 11 Feb 2018 11:12:11 +0100 Subject: [PATCH] Update. --- arxiv-rename-pdf.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 '