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) diff --git a/header.tpl b/header.tpl index fd73ca0..f4745cd 100644 --- a/header.tpl +++ b/header.tpl @@ -189,7 +189,7 @@