Maj du lien vers coq-bugs dans Coqide.

On devrait mettre une redirection a l'ancienne adresse...


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10390 85f007b7-540e-0410-9357-904b9bb8a0f7

doc/tutorial/Tutorial.tex

@@ -69,7 +69,7 @@ \chapter*{Getting started}
 The first line gives a banner stating the precise version of \Coq~
 used. You should always return this banner when you report an
 anomaly to our hot-line \verb:[email protected]: or on our
-bug-tracking system~:\verb:http://coq.inria.fr/bin/coq-bugs:
+bug-tracking system~:\verb|http://logical.futurs.inria.fr/coq-bugs|
 
 \chapter{Basic Predicate Calculus}