From 03c0ee5a721ebde8b57780c5f2db935ea680a12b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 30 Jun 2017 09:47:27 +0200
Subject: Mention again how to report bug and get version number.

As suggested by @psteckler.
---
 doc/tutorial/Tutorial.tex | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'doc/tutorial/Tutorial.tex')

diff --git a/doc/tutorial/Tutorial.tex b/doc/tutorial/Tutorial.tex
index 3a91664db7..8337b1c48f 100644
--- a/doc/tutorial/Tutorial.tex
+++ b/doc/tutorial/Tutorial.tex
@@ -35,7 +35,11 @@ Bertot and P. Castéran on practical uses of the \Coq{} system.
 
 Instructions on installation procedures, as well as more comprehensive
 documentation, may be found in the standard distribution of \Coq,
-which may be obtained from \Coq{} web site \url{https://coq.inria.fr/}.
+which may be obtained from \Coq{} web site
+\url{https://coq.inria.fr/}\footnote{You can report any bug you find
+while using \Coq{} at \url{https://coq.inria.fr/bugs}. Make sure to
+always provide a way to reproduce it and to specify the exact version
+you used. You can get this information by running \texttt{coqc -v}}.
 \Coq{} is distributed together with a graphical user interface called
 CoqIDE. Alternative interfaces exist such as
 Proof General\footnote{See \url{https://proofgeneral.github.io/}.}.
-- 
cgit v1.2.3