use DOI for URL

leanprover-community · Feb 26, 2021 · f6d8b30 · f6d8b30
1 parent a0bcb79
commit f6d8b30
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/print_docs.py b/print_docs.py
@@ -126,6 +126,8 @@ def clean_tex(src: str) -> str:
       url = 'https://arxiv.org/abs/'+eprint
     else:
       url = eprint
+  elif 'doi' in data.fields:
+    url = 'https://doi.org/'+data.fields['doi']
   # else:
     # raise ValueError(f"Couldn't find a url for bib item {key}")
   if url: