From c0ec7cc89fcf0d909c228d084442cb471eb91eb7 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 26 Nov 2024 22:29:48 +0100
Subject: [PATCH] bib: fix a DOI, add additional URL with paper PDF

---
 docs/src/refs.bib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/src/refs.bib b/docs/src/refs.bib
index a4464e9..1990e6e 100644
--- a/docs/src/refs.bib
+++ b/docs/src/refs.bib
@@ -125,7 +125,8 @@ @Article{Eno72
   volume        = {9},
   pages         = {75--94},
   year          = {1972},
-  doi           = {0.18910/8596},
+  doi           = {10.18910/8596},
+  url           = {http://projecteuclid.org/euclid.ojm/1200693539},
   language      = {English},
   zbmath        = {3401144}
 }