From 64deb757b936ae524fac03fb14b81685f75674bf Mon Sep 17 00:00:00 2001
From: Philipp Winter <phw@nymity.ch>
Date: Sun, 16 Jul 2023 16:27:04 -0500
Subject: [PATCH] Remove distracting log messages.

---
 fetch_pdfs.py | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/fetch_pdfs.py b/fetch_pdfs.py
index aef4c20..49967ae 100755
--- a/fetch_pdfs.py
+++ b/fetch_pdfs.py
@@ -79,14 +79,10 @@ def main(file_name, output_dir):
             ext = ext[1:]
 
         if ext not in ["pdf", "ps"]:
-            print("Skipping %s because it's not a pdf or ps file." % url,
-                  file=sys.stderr)
             continue
 
         file_name = os.path.join(output_dir, ext, bibkey + ".%s" % ext)
         if os.path.exists(file_name):
-            print("Skipping %s because we already have it." % file_name,
-                  file=sys.stderr)
             continue
 
         download_pdf(url, file_name)