1 files changed, 1 insertions, 1 deletions
diff --git a/pdf.zsh b/pdf.zsh
index a04eda66..79e3309c 100755
--- a/pdf.zsh
+++ b/pdf.zsh
@@ -4,7 +4,7 @@ set -o errexit -o nounset -o pipefail
 mkdir -p pdf
 
 fetch() {
-    [ -f "pdf/$1" ] && return
+    [[ -f "pdf/$1" ]] && return
     curl --silent --show-error --output "pdf/$1" "$2"
     echo "pdf/$1"
 }