Commit 650af863 authored by Gérard Huet's avatar Gérard Huet

Manual: suppression of mention of site goldbook

parent 797962c3
......@@ -916,10 +916,6 @@ directory of the Platform.
Signal installation difficulties and relate your experiences with these tools
to Gerard.Huet@inria.fr.
<p>
Authors of interesting feedbacks will be entered in the
<a href="gold.html">Heritage Hall of Fame</a>.
<p>
A useful supplement to this manual is our page of frequently asked questions
<a href="faq.html"><strong>Faq</strong></a>, also available from the "Help"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment