From 679227dced864d2855efaa2c3272dad847fb8b24 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 21 Dec 2017 13:17:23 +0100
Subject: Update README and CONTRIBUTING to mention the wiki and FAQ.

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 30911e78e8..f8c31b9390 100644
--- a/README.md
+++ b/README.md
@@ -16,9 +16,13 @@ read the [help page](https://coq.inria.fr/opam/www/using.html) on how to install
 or refer to the [`INSTALL` file](/INSTALL) for the procedure to install from source.
 
 ## Documentation
-The documentation is part of the archive in directory doc. The
+
+The sources of the documentation can be found in directory [`doc`](/doc). The
 documentation of the last released version is available on the Coq
 web site at [coq.inria.fr/documentation](http://coq.inria.fr/documentation).
+See also [Cocorico](https://github.com/coq/coq/wiki) (the Coq wiki),
+and the [Coq FAQ](https://github.com/coq/coq/wiki/The-Coq-FAQ),
+for additional user-contributed documentation.
 
 ## Changes
 There is a file named [`CHANGES`](/CHANGES) that explains the differences and the
-- 
cgit v1.2.3