From 9bbf64143da7c29a3b7b1bf84a70f887e1e8aa63 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Tue, 10 Feb 2015 23:04:29 +0100
Subject: Avoid html markup inside tex files and fix url.

---
 doc/whodidwhat/whodidwhat-8.4update.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/whodidwhat')

diff --git a/doc/whodidwhat/whodidwhat-8.4update.tex b/doc/whodidwhat/whodidwhat-8.4update.tex
index 36efd22e9..bb4c5ce46 100644
--- a/doc/whodidwhat/whodidwhat-8.4update.tex
+++ b/doc/whodidwhat/whodidwhat-8.4update.tex
@@ -3,6 +3,7 @@
 \usepackage{fullpage}
 \usepackage[utf8]{inputenc}
 \usepackage{t1enc}
+\usepackage{hyperref}
 
 \begin{document}
 
@@ -333,7 +334,7 @@
 \item Searching modulo isomorphism: David Delahaye
 \item Explanation of proofs in pseudo-natural language: Yann Coscoy
 \item Dp: Jean-Christophe Filliâtre, Nicolas Ayache with contributions
-  from Claude Marché (now integrated to <a href="why.lri.fr">Why 3</a>)
+  from Claude Marché (now integrated to \href{http://why3.lri.fr/}{Why3})
 \end{itemize}
 
 For oversights or accidental errors, please report to Hugo~\verb=.=~Herbelin~\verb=@=~inria~\verb=.=~fr
-- 
cgit v1.2.3