From d1457ecc41713b8fff745a66cd6c8375f26f4fc9 Mon Sep 17 00:00:00 2001
From: Matt Quinn
Date: Mon, 11 Dec 2017 07:28:23 +0300
Subject: Removing the FAQ, which has been moved to the GitHub wiki for this
 repository. Also removing FAQ-related build rules.

---
 CHANGES | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 4c83b7c19d..98239ab563 100644
--- a/CHANGES
+++ b/CHANGES
@@ -28,6 +28,12 @@ Vernacular Commands
 Checker
 - The checker now accepts filenames in addition to logical paths.
 
+Documentation
+
+- The Coq FAQ, formerly located at https://coq.inria.fr/faq, has been
+  moved to the GitHub wiki section of this repository; the main entry
+  page is https://github.com/coq/coq/wiki/The-Coq-FAQ.
+
 Changes from 8.7+beta2 to 8.7.0
 ===============================
 
-- 
cgit v1.2.3