Merge PR #1116: Updating citing Coq in FAQ.

1 files changed, 7 insertions, 8 deletions

diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex
index 213fb03137..541d39501b 100644
--- a/doc/faq/FAQ.tex
+++ b/doc/faq/FAQ.tex
@@ -2413,15 +2413,14 @@ You can use {\tt coq\_tex}.
 
 \Question{How can I cite the {\Coq} reference manual?}
 
-You can use this bibtex entry:
+You can use this bibtex entry (to adapt to the appropriate version):
 \begin{verbatim}
-@Manual{Coq:manual,
-  title =        {The Coq proof assistant reference manual},
-  author =       {\mbox{The Coq development team}},
-  organization = {LogiCal Project},
-  note =         {Version 8.2},
-  year =         {2009},
-  url =          "http://coq.inria.fr"
+@manual{Coq:manual,
+  author      = {{Coq} {Development} {Team}, The},
+  title       = {The {Coq} Proof Assistant Reference Manual, version 8.7},
+  month       = Oct,
+  year        = {2017},
+  url         = {http://coq.inria.fr}
 }
 \end{verbatim}