From 9b9071beb9be6eb62e01971edcba30415ba6ae27 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 4 Oct 2017 00:19:59 +0200
Subject: Updating citing Coq in FAQ.

---
 doc/faq/FAQ.tex | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

(limited to 'doc/faq/FAQ.tex')

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}
 
-- 
cgit v1.2.3

