From e9848d96ba132f2c280c939e91ab0a54959338c6 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 23 May 2018 18:30:00 +0200
Subject: Fix #7576: broken link for Delahaye paper.

---
 doc/sphinx/biblio.bib | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/doc/sphinx/biblio.bib b/doc/sphinx/biblio.bib
index 5e81cf8ad6..3e988709c5 100644
--- a/doc/sphinx/biblio.bib
+++ b/doc/sphinx/biblio.bib
@@ -121,9 +121,7 @@ s},
   pages       = {85--95},
   month       = {November},
   year        = {2000},
-  url         =
-    "{\sf ftp://ftp.inria.fr/INRIA/Projects/coq/David.Delahaye/papers/}"#
-    "{\sf LPAR2000-ltac.ps.gz}"
+  url         = {http://www.lirmm.fr/\%7Edelahaye/papers/ltac\%20(LPAR\%2700).pdf}
 }
 
 @Article{Dyc92,
-- 
cgit v1.2.3